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:
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