Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems.
Fatima Shokri-ManninenJüri VainMarina WaldénPublished in: SEFM (2020)
Keyphrases
- autonomous systems
- formal verification
- autonomous navigation
- model checking
- dynamic environments
- uncertain environments
- model checker
- mobile robot
- symbolic model checking
- bounded model checking
- path planning
- automated verification
- decision support system
- dynamic and uncertain environments
- temporal logic
- learning strategies
- artificial intelligence
- data mining