Distributed Synthesis for LTL Fragments

Chatterjee, Krishnendu and Henzinger, Thomas A and Otop, Jan and Pavlogiannis, Andreas (2013) Distributed Synthesis for LTL Fragments. Technical Report. IST Austria.

[img] Text
Distributed_Synthesis.pdf - Published Version
Available under License All rights reserved.
[IST-2013-130-v1+1]
Download (288Kb)
Item Type: Monograph (Technical Report)
Additional Information: A short version of this technical report is available at Springer via: http://dx.doi.org/10.1109/FMCAD.2013.6679386
Subjects: 000 Computer science, knowledge & general works > 000 Computer science, knowledge & systems > 005 Computer programming, programs & data
Research Group: Chatterjee Group
Henzinger Group
Depositing User: Andreas Pavlogiannis
Date Deposited: 08 Jul 2013 08:35
Last Modified: 15 Jul 2019 14:47
URI: https://repository.ist.ac.at/id/eprint/130

Actions (login required)

View Item View Item