Optimal task allocation for distributed co-safe LTL specifications.
Ioana HustiuCristian MahuleaMarius KloetzerPublished in: ETFA (2021)
Keyphrases
- bounded model checking
- closed form
- lightweight
- distributed systems
- multi agent systems
- cooperative
- dynamic programming
- worst case
- computer networks
- distributed environment
- temporal logic
- multi agent
- transition systems
- multi robot systems
- optimal strategy
- distributed data
- optimal control
- optimal solution
- high level
- sensor networks
- lower bound