Formal Methods for Autonomous Systems.

Tichakorn Wongpiromsarn Mahsa Ghasemi Murat Cubuktepe Georgios Bakirtzis Steven Carr Mustafa O. Karabag Cyrus Neary Parham Gohari Ufuk Topcu

Published in: CoRR (2023)

Keyphrases

formal methods
autonomous systems
uncertain environments
knowledge based systems
safety critical
formal specification
dynamic environments
autonomous navigation
artificial intelligence
software engineering
model checking
situation awareness
databases
decision makers
knowledge acquisition
reverse engineering