Cited By
View all- An JZhan NLi XZhang MYi W(2018)Model Checking Bounded Continuous-time Extended Linear Duration InvariantsProceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)10.1145/3178126.3178147(81-90)Online publication date: 11-Apr-2018