Distributed synthesis for parameterized temporal logics☆
Under an Elsevier user license
open archive
Keywords
Distributed synthesis
Distributed realizability
Incomplete information
Parametric linear temporal logic
Parametric linear dynamic logic
Cited by (0)
- ☆
Supported by the projects ASDPS (JA 2357/2–1) and TriCS (ZI 1516/1–1) of the German Research Foundation (DFG) and by the grant OSARES (No. 683300) of the European Research Council (ERC).
© 2018 Elsevier Inc.