Multiple Subformulae Cooperative Control for Multiagent Systems Under Conflicting Signal Temporal Logic Tasks.
Xiaoyi ZhouTiange YangYuanyuan ZouShaoyuan LiHao FangPublished in: IEEE Trans. Ind. Electron. (2023)
Keyphrases
- multiagent systems
- temporal logic
- cooperative
- adjustable autonomy
- multi agent
- model checking
- multiagent reinforcement learning
- multi agent systems
- modal logic
- autonomous agents
- learning in multi agent systems
- distributed artificial intelligence
- robotic systems
- mazurkiewicz traces
- decentralized control
- multiagent planning
- computation tree logic
- verification method
- formal specification
- transition systems
- reactive systems
- temporal knowledge
- knowledge base
- control system
- reinforcement learning