Reactive Synthesis: Towards Output-Sensitive Algorithms

Finkbeiner, Bernd and Klein, Felix
(2017) Reactive Synthesis: Towards Output-Sensitive Algorithms.
In: Dependable Software Systems Engineering. UNSPECIFIED, 25–43.

Full text not available from this repository.
Official URL: https://doi.org/10.3233/978-1-61499-810-5-25

Actions

Actions (login required)

View Item View Item