FVAV@iFM

Publications

2017

Mario Gleirscher
Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps. FVAV@iFM (2017)
Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo
Causality-Aided Falsification. FVAV@iFM (2017)
Heinrich Ody
Monitoring of Traffic Manoeuvres with Imprecise Information. FVAV@iFM (2017)
Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. FVAV@iFM (2017)
Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer
Towards Proving the Adversarial Robustness of Deep Neural Networks. FVAV@iFM (2017)
Lucas E. R. Fernandes, Vinicius Custodio, Gleifer V. Alves, Michael Fisher
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. FVAV@iFM (2017)
Maike Schwammberger
Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres. FVAV@iFM (2017)
László Z. Varga
Game Theory Models for the Verification of the Collective Behaviour of Autonomous Cars. FVAV@iFM (2017)

volume 257, 2017

Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017. FVAV@iFM 257 (2017)