Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic.
Felix LorenzHolger SchlingloffPublished in: CASE (2018)
Keyphrases
- temporal logic
- model checking
- real time
- modal logic
- robotic systems
- cooperative
- autonomous systems
- concurrent systems
- satisfiability problem
- mazurkiewicz traces
- computation tree logic
- verification method
- mobile robot
- service robots
- belief revision
- model checker
- linear temporal logic
- reactive systems
- formal specification language
- formal specification
- temporally extended
- dynamic constraints
- multi robot
- dynamic environments
- multi agent