Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization.

Jana Tumova Dimos V. Dimarogonas

Published in: CoRR (2016)

Keyphrases

multi agent planning
bounded model checking
transition systems
model checking
multi agent
formal verification
partial observability
linear temporal logic
temporal logic
agent programming
multi agent systems
finite state