Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents.
Tichakorn WongpiromsarnAlphan UlusoyCalin BeltaEmilio FrazzoliDaniela RusPublished in: IROS (2012)
Keyphrases
- temporal logic
- control policies
- model checking
- cooperative
- modal logic
- multi agent systems
- dynamic environments
- dynamic constraints
- motion control
- mobile robot
- multi agent
- verification method
- reactive systems
- multi robot
- multiple agents
- epistemic logic
- belief revision
- mazurkiewicz traces
- linear temporal logic
- real time
- control policy
- single agent
- decision problems
- control strategies
- formal specification
- markov chain
- knowledge base