Formal Methods for Autonomous Systems.
Tichakorn WongpiromsarnMahsa GhasemiMurat CubuktepeGeorgios BakirtzisSteven CarrMustafa O. KarabagCyrus NearyParham GohariUfuk TopcuPublished in: Found. Trends Syst. Control. (2023)
Keyphrases
- formal methods
- autonomous systems
- uncertain environments
- model checking
- artificial intelligence
- safety critical
- software engineering
- knowledge based systems
- formal specification
- autonomous navigation
- dynamic environments
- situation awareness
- formal specification language
- expert systems
- mobile robot
- development lifecycle
- image sequences