Verification of the ROS NavFn planner using executable specification languages.
Enrique Martin-MartinManuel MontenegroAdrián RiescoJuan Rodríguez-HortaláRubén RubioPublished in: J. Log. Algebraic Methods Program. (2023)
Keyphrases
- specification languages
- formal specification
- model checking
- concurrent systems
- formal methods
- temporal logic
- object oriented programs
- planning domains
- formal verification
- verification method
- heuristic search
- initial state
- domain independent
- artificial intelligence
- reverse engineering
- ai planning
- plan execution
- classical planning
- first order logic
- state space
- multi agent