On the Timed Temporal Logic Planning of Coupled Multi-Agent Systems.

Alexandros Nikou Dimitris Boskos Jana Tumova Dimos V. Dimarogonas

Published in: CoRR (2017)

Keyphrases

temporal logic
multi agent systems
temporally extended goals
model checking
modal logic
verification method
satisfiability problem

temporally extended
multi agent
symbolic model checking
concurrent systems
computation tree logic
bounded model checking
planning problems

transition systems
temporal knowledge
model checker
belief revision
petri net
mazurkiewicz traces
linear temporal logic

ai planning
single agent
cooperative
planning domains
heuristic search
dynamic environments
markov chain