Engineering commitment-based multiagent systems: a temporal logic approach.
Jie XingMunindar P. SinghPublished in: AAMAS (2003)
Keyphrases
- multiagent systems
- temporal logic
- model checking
- distributed artificial intelligence
- multi agent
- modal logic
- autonomous agents
- concurrent systems
- multiagent planning
- artificial intelligence
- computation tree logic
- robotic soccer
- mazurkiewicz traces
- linear temporal logic
- reactive systems
- transition systems
- finite state
- belief revision
- software engineering
- decentralized control
- multiagent reinforcement learning
- coalition formation
- automata theoretic
- temporal knowledge
- temporally extended