Biblio
Found 4 results
Filters: Author is Huang, Zhenqi [Clear All Filters]
.
2018. Approximate Partial Order Reduction. Formal Methods - 22nd International Symposium, (FM). :588–607.
.
2017. Bounded invariant verification for time-delayed nonlinear networked dynamical systems. Nonlinear Analysis: Hybrid Systems. 23:211–229.
.
2015. Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Design {&} Test. 32:27–34.
.
2014. Invariant verification of nonlinear hybrid automata networks of cardiac cells. Computer Aided Verification - 26th International Conference, (CAV). 8559 LNCS:373–390.