TY  - RPRT
TI  - Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems
AU  - Matija Bucic
AU  - Melkior Ornik
AU  - Ufuk Topcu
PY  - 2018
UR  - https://arxiv.org/abs/1808.04276
ID  - 1808.04276
ER  -