TY  - RPRT
TI  - Invariant Clusters for Hybrid Systems
AU  - Hui Kong
AU  - Sergiy Bogomolov
AU  - Christian Schilling
AU  - Yu Jiang
AU  - Thomas A. Henzinger
PY  - 2016
UR  - https://arxiv.org/abs/1605.01450
ID  - 1605.01450
ER  -