Multi-agent planning under local LTL specifications and event-based synchronization.

Jana Tumova Dimos V. Dimarogonas

Published in: Autom. (2016)

Keyphrases

multi agent planning
bounded model checking
model checking
transition systems
multi agent
linear temporal logic
formal verification
temporal logic
partial observability
agent programming
operational semantics
first order logic