Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract).
Fernando S. BarbosaJesper KarlssonPouria TajvarJana TumovaPublished in: FORMATS (2021)
Keyphrases
- extended abstract
- formal methods
- formal analysis
- formal specification
- artificial intelligence
- safety critical
- provably correct
- process algebra
- knowledge based systems
- temporal properties
- database
- database systems
- search space
- software engineering
- development lifecycle
- model checker
- motion planning
- fine grained
- business processes
- open source
- relational databases
- real world