Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization.
Christopher BanksSean WilsonSamuel CooganMagnus EgerstedtPublished in: ICRA (2020)
Keyphrases
- temporal logic
- cross entropy
- multi agent
- model checking
- multi agent systems
- modal logic
- cooperative agents
- coalition formation
- linear temporal logic
- computation tree logic
- log likelihood
- single agent
- verification method
- maximum likelihood
- error function
- mazurkiewicz traces
- transition systems
- belief revision
- dynamic programming
- language modeling
- reactive systems
- evaluation metrics
- information theoretic
- loss function
- cost function
- learning algorithm