Home‎ > ‎


09:00 - 09:05    Welcome
09:05 - 10:00 Invited TalkWerner Damm
Traffic Sequence Charts - A Formal Visual Specification Language for Requirement Capture and Specification Development of Highly Autonomous Cars

10:00 - 10:30 Coffee break
10:30 - Machine Learning and Probabilistic SystemsTakumi Akazaki, Yoshihiro Kumazawa and Ichiro Hasuo.
Causality-Aided Falsification

Guy Katz, Clark Barrett, David Dill, Kyle Julian and Mykel Kochenderfer. 
Towards Proving the Adversarial Robustness of Deep Neural Networks
12:10Agent based ModellingLászló Zsolt Varga.
Game Theory Models for the Verification of the Collective Behaviour of Autonomous Cars

Lucas Fernandes, Vinicius Custodio, Gleifer Alves and Michael Fisher.
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification
12:10 - 13:40 Lunch
13:40 - 15:20Logical Specification and ReasoningHeinrich Ody.
Monitoring of Traffic Manoeuvres with Imprecise Information

Maike Schwammberger.
Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres

Albert Rizaldi.
Formal Verification of Autonomous Vehicles: An Isabelle Perspective
15:20 - 15:50 Coffee break
15:50 - 17:30Modelling and Case StudiesMario Gleirscher.
Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps

Benjamin Martin, Khalil Ghorbal, Eric Goubault and Sylvie Putot.
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System

Sergey Tverdyshev and Holger Blasum.
Lightning talk: use of formal models of a partitioning hypervisor for automotive system level properties