Multi-agent Non-linear Temporal Logic with Embodied Agent Describing Uncertainty.
Vladimir V. RybakovPublished in: KES-AMSTA (2014)
Keyphrases
- temporal logic
- multi agent
- intelligent agents
- model checking
- multi agent systems
- multiagent systems
- modal logic
- multiple agents
- cooperative
- autonomous agents
- single agent
- satisfiability problem
- concurrent systems
- cooperative agents
- heterogeneous agents
- cognitive agents
- mazurkiewicz traces
- transition systems
- verification method
- agent oriented
- belief revision
- temporally extended
- linear temporal logic
- reinforcement learning
- computation tree logic
- decision theory
- bounded model checking
- formal specification language
- inference rules
- temporal knowledge
- automata theoretic