Resilience to intermittent assumption violations in reactive synthesis
|
Art |
Autor/en | Rüdiger Ehlers, Ufuk Topcu | Jahr | 2014 | In | Proceedings of the 17th international conference on Hybrid systems: computation and control (HSCC) | Jahrgang | 2014 | Seiten | 203-212 | Doi | 10.1145/2562059.2562128 | Link zu Volltext | http://doi.acm.org/10.1145/2562059.2562128 |
|
Konferenzbeitrag |
|
Symbolic Bounded Synthesis
|
Art |
|
Zeitschriftenaufsatz |
|
ACTL ? LTL Synthesis
|
Art |
|
Konferenzbeitrag |
|
Symbolically synthesizing small circuits
|
Art |
|
Konferenzbeitrag |
|
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis
|
Art |
|
Konferenzbeitrag |
|