Login / Signup
FVAV@iFM
2017
2017
2017
Keyphrases
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)