Agents with truly perfect recall in alternating-time temporal logic.
Nils BullingWojciech JamrogaMatei PopoviciPublished in: AAMAS (2014)
Keyphrases
- alternating time temporal logic
- model checking
- imperfect information
- multi agent systems
- temporal logic
- multi agent
- high precision
- autonomous agents
- temporal properties
- decision makers
- multiple agents
- multiagent systems
- resource allocation
- software agents
- upper bound
- cooperative
- computation tree logic
- knowledge base