Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications.
Murat CubuktepeZhe XuUfuk TopcuPublished in: IEEE Trans. Control. Netw. Syst. (2021)
Keyphrases
- multiagent systems
- temporal logic
- multi agent
- concurrent systems
- model checking
- reactive systems
- transition systems
- model checker
- bounded model checking
- distributed artificial intelligence
- formal specification language
- distributed constraint optimization problems
- distributed systems
- modal logic
- agent technology
- autonomous agents
- formal specification
- decentralized control
- agent coordination
- multi agent systems
- cooperative
- verification method
- mazurkiewicz traces
- formal verification
- linear temporal logic
- computation tree logic
- finite state
- optimal policy
- dynamic programming
- formal methods
- graph databases
- belief revision