Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation.

Constance L. Heitmeyer Elizabeth I. Leonard

Published in: FormaliSE@ICSE (2015)

Keyphrases

formal model
autonomous systems
formal models
uncertain environments
autonomous navigation
dynamic environments
decision making
decision support
computer vision
mobile robot
software engineering
vision system
security properties
security patterns