Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications.
Tichakorn WongpiromsarnAlphan UlusoyCalin BeltaEmilio FrazzoliDaniela RusPublished in: ICRA (2013)
Keyphrases
- control policies
- bounded model checking
- linear temporal logic
- multi agent systems
- model checking
- temporal logic
- reinforcement learning
- optimal policy
- action space
- control policy
- motion control
- transition systems
- multi agent
- formal verification
- control strategies
- control system
- finite horizon
- model checker
- cooperative
- single agent
- state space
- formal specification
- specification language
- finite state
- control algorithm
- reactive systems
- concurrent systems