Distributed PROMPT-LTL Synthesis.

Swen Jacobs Leander Tentrup Martin Zimmermann

Published in: GandALF (2016)

Keyphrases

distributed systems
distributed environment
cooperative
model checking
multi agent
peer to peer
temporal logic
fault tolerant
lightweight
program synthesis
data sets
case study
data sources
texture synthesis
linear temporal logic