A formal structure for symbolic reachability analysis of rectangular hybrid systems
Crossref DOI link: https://doi.org/10.1007/s11431-015-5985-y
Published Online: 2016-01-13
Published Print: 2016-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zhang, HaiBin
Zhao, Cheng
Li, Rong
Text and Data Mining valid from 2016-01-13
