Distributed Synthesis for Parameterized Temporal Logics

Jacobs, Swen and Tentrup, Leander and Zimmermann, Martin
(2017) Distributed Synthesis for Parameterized Temporal Logics.
CoRR, abs/17.

Full text not available from this repository.
Official URL: http://arxiv.org/abs/1705.08112

Actions

Actions (login required)

View Item View Item