Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents.
Tim MeywerkMarcel WalterVladimir HerdtDaniel GroßeRolf DrechslerPublished in: DSD (2019)
Keyphrases
- formal verification
- robotic agents
- model checking
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- cognitive processes
- plan recognition
- cooperative
- information processing
- planning domains
- artificial intelligence
- robotic systems
- temporal logic
- cognitive science
- plan generation
- cognitive systems
- cognitive tasks
- functional verification
- bdi agents
- plan execution
- formal specification
- planning problems
- program slicing
- heuristic search