C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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