Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents
Tichakorn WongpiromsarnAlphan UlusoyCalin BeltaEmilio FrazzoliDaniela RusPublished in: CoRR (2012)
Keyphrases
- temporal logic
- control policies
- model checking
- cooperative
- dynamic environments
- modal logic
- multi agent systems
- multi agent
- reactive systems
- dynamic constraints
- verification method
- motion control
- linear temporal logic
- multiple agents
- reinforcement learning
- mobile robot
- epistemic logic
- control strategies
- control policy
- finite horizon
- single agent
- np hard
- computation tree logic