Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management.

Sophie Coudert Tullio Joseph Tanzi

Published in: ITDRR (2016)

Keyphrases

formal methods
risk management
autonomous systems
decision support system
building blocks
model checking
knowledge based systems
development lifecycle
risk assessment
databases
user interface
case based reasoning
software development
intelligent systems
autonomous navigation
formal specification language