TY  - RPRT
TI  - Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm
AU  - Zhenqi Huang
AU  - Yu Wang
AU  - Sayan Mitra
AU  - Geir E. Dullerud
AU  - Swarat Chaudhuri
PY  - 2015
UR  - https://arxiv.org/abs/1509.04623
ID  - 1509.04623
ER  -