Synthesis of coordination programs from linear temporal logic.

Suguman Bansal Kedar S. Namjoshi Yaniv Sa'ar

Published in: CoRR (2019)

Keyphrases

linear temporal logic
temporal logic
functional programs
model checking
bounded model checking
multi agent systems
multiple agents
multi agent
orders of magnitude
machine learning
search algorithm
general purpose
linear time temporal logic