• Keynotes
  • Panels
  • Program
  • Tracks
    • A1) The Nature of AI-based Systems
    • B1) Responsible and Trustworthy AI
    • B2) Democracy in the Digital Era
    • B3) Digital Humanities
    • B4) Research and Education
    • C1) Safety Verification of DNNs
    • C2) Verification meets Learning and Statistics
    • D1) Health Care
    • D2) AI Assisted Programming
    • D3) Publishing
    • D4) Safe AI in the Automotive Domain
  • Contribute
  • Venue
  • Committee
  • Registration
AISoLa
  • Keynotes
  • Panels
  • Program
  • Tracks
    • A1) The Nature of AI-based Systems
    • B1) Responsible and Trustworthy AI
    • B2) Democracy in the Digital Era
    • B3) Digital Humanities
    • B4) Research and Education
    • C1) Safety Verification of DNNs
    • C2) Verification meets Learning and Statistics
    • D1) Health Care
    • D2) AI Assisted Programming
    • D3) Publishing
    • D4) Safe AI in the Automotive Domain
  • Contribute
  • Venue
  • Committee
  • Registration

Monday 23th

  1. ⌂ |
  2. Tracks >
  3. C2) Verification meets Learning and Statistics >

Room: 2

TimeTitleAuthors
09:00Keynote: Shield Synthesis for Safe Reinforcement LearningRoderick Bloem
10:00Shielded Reinforcement Learning for Hybrid SystemsBrorholt, Jensen, Larsen, Lorber, and Schilling
10:20Discussion
Coffee Break
11:00Decision-Making under Uncertainty: Challenges and HighlightsJansen
11:40Reinforcement Learning with Stochastic Reward MachinesCorazza, Gavran, and Neider
12:00Extending the scope of reliable offline reinforcement learningSuilen
12:20Discussion

SpringerTU DortmundResearch Center Trustworthy Data Science and SecurityLAMARR Institut für Maschinelles Lernen und Künstliche Intelligenz
AISoLA Logo

AI is not quite ready for practice. And practice is not quite ready for AI. AISoLA provides a forum for discussing how to responsibly deal with this new potential addressing six concerns.

Bernhard Steffen

Symposium and Program Chair

Technical University of Dortmund, Germany
steffen[at]cs.uni-dortmund.de

Conference Arrangements

For other matters, including reservations, registration, accommodation etc.


Easy Conferences

info@easyconferences.eu
www.easyconferences.eu
T: (+357) 22 591 900
F: (+357) 22 591 700

  • Imprint
EasyConferences Ltd - EasyConferences CRS