TY  - RPRT
TI  - Automatic Synthesis of Switching Controllers for Linear Hybrid Automata
AU  - Massimo Benerecetti
AU  - Marco Faella
AU  - Stefano Minopoli
PY  - 2011
UR  - https://arxiv.org/abs/1103.4584
ID  - 1103.4584
ER  -