Distributed PROMPT-LTL Synthesis

Jacobs, Swen and Tentrup, Leander and Zimmermann, Martin
(2016) Distributed PROMPT-LTL Synthesis.
In: Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016..
Conference: None | Not Set

[img]
Preview
Text
1509.05144v3.pdf

Download (161kB) | Preview
Official URL: https://doi.org/10.4204/EPTCS.226.16

Actions

Actions (login required)

View Item View Item