ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 09:30 - 10:00 at S6 - I

Self-driving cars and other autonomous cyber-physical systems (CPS) infuse machine and reinforcement learning into safety-critical decision making processes. Recent work on formal methods for reinforcement learning agents demonstrates the potential of verification to increase the safety and robustness of intelligent control algorithms. Similarly, recent work applying SMT solvers to trained neural networks demonstrates how verification can be used to certify robustness of vision systems to adversarial examples. Despite these advances in safe control and safe perception, obtaining end-to-end safety guarantees that unify safe perception with safe control in under-modeled environments remains a largely unsolved problem. This talk will review recent work on safe AI for cyber-physical systems and illustrate several CPS-inspired challenges for the AI verification community.

Sat 6 Apr

interavt-2019-papers
09:00 - 10:30: InterAVT - I at S6
interavt-2019-papers09:00 - 09:30
Talk
Stylianos BasagiannisUnited Technologies Research centre, Goetz BotterweckLero - The Irish Software Research Centre and University of Limerick, Anila MjedaLero - The Irish Software Research Centre and University of Limerick
interavt-2019-papers09:30 - 10:00
Talk
Nathan FultonMIT-IBM Watson AI Lab
interavt-2019-papers10:00 - 10:10
Talk
Pietro FerraraJuliaSoft SRL, Italy, Amit Kr MandalUniversità Ca' Foscari, Venezia, Italy, Agostino CortesiUniversità Ca' Foscari Venezia, Fausto SpotoU. Verona
interavt-2019-papers10:10 - 10:20
Talk
Cinzia BernardeshiUniv. of Pisa, Andrea DomeniciUniversity of Pisa, Italy, Sergio SaponaraUniversity of Pisa, Italy
interavt-2019-papers10:20 - 10:30
Talk