Dagstuhl Seminar 24361
Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy
( Sep 01 – Sep 06, 2024 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/24361
Organizers
- Nils Jansen (Radboud University Nijmegen, NL)
- Mykel Kochenderfer (Stanford University, US)
- Jan Kretinsky (TU München, DE)
- Jana Tumova (KTH Royal Institute of Technology - Stockholm, SE)
Contact
- Simone Schilke (for administrative matters)
Related Seminars
- Dagstuhl Seminar 18121: Machine Learning and Model Checking Join Forces (2018-03-18 - 2018-03-23) (Details)
Classification
- Artificial Intelligence
- Formal Languages and Automata Theory
- Robotics
Keywords
- Formal Verification
- Artificial Intelligence
- Machine Learning
- Autonomous Systems
- Robotics