Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning.

Philipp Schillinger Mathias Bürger Dimos V. Dimarogonas

Published in: DARS (2016)

Keyphrases

multi agent planning
bounded model checking
temporal logic
linear temporal logic