TY  - RPRT
TI  - Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications
AU  - Roderick Bloem
AU  - Uwe Egly
AU  - Patrick Klampfl
AU  - Robert Könighofer
AU  - Florian Lonsing
AU  - Martina Seidl
PY  - 2016
UR  - https://arxiv.org/abs/1604.06204
ID  - 1604.06204
ER  -