Formal Methods for Trustworthy AI-based Autonomous Systems
![Image Shonan Village](https://isp.uni-luebeck.de/sites/default/files/styles/medium/public/field/image/Japan.png?itok=3GifgGrL)
Workshop organized by the National Institute of Informatics, Japan (Ichiro Hasuo), the University of Oslo, Norway (Einar Broch Johnsen) and the University of Lübeck, Germany (Martin Leucker)
The automation of functions in smart, autonomous cyber-physical systems already affect our society in many application domains such as autonomous driving, robotics, industrial IoT and smart manufacturing, smart medical devices and healthcare, and smart energy grids.
The aim of this seminar is to get some fundamental insights to FM for AI. Leading researchers in FM and machine learning/AI will give mini-tutorials on topics such as
„Formal modelling languages capable of expressing key properties related to trustworthiness of AI-based autonomous systems with learning components“ or „Novel methods to enforce correctness requirements both during design and at runtime to achieve overall autonomic correctness, including properly balancing between them“
https://shonan.nii.ac.jp/seminars/178/
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact
Overview
Director
Prof. Dr. Martin Leucker
Address
Institute for Software Engineering and Programming Languages
Building MFC II
Maria-Goeppert-Str. 3
23562 Lübeck
Contact
E-Mail: office [at] isp.uni-luebeck.de
Phone: +49 451 3101-6501