Zhi Han, Ph.D. - Publications
Affiliations: | 2005 | Carnegie Mellon University, Pittsburgh, PA |
Area:
Electronics and Electrical EngineeringYear | Citation | Score | |||
---|---|---|---|---|---|
2006 | Han Z, Chutinan A, Krogh BH. ACTL strong negation and its application to hybrid systems verification Control Engineering Practice. 14: 1259-1267. DOI: 10.1016/S1474-6670(17)30766-8 | 0.567 | |||
2004 | Stursberg O, Fehnker A, Han Z, Krogh BH. Verification of a cruise control system using counterexample-guided search Control Engineering Practice. 12: 1269-1278. DOI: 10.1016/J.Conengprac.2004.04.002 | 0.531 | |||
2003 | Clarke EM, Fehnker A, Han Z, Krogh BH, Ouaknine J, Stursberg O, Theobald M. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems International Journal of Foundations of Computer Science. 14: 583-604. DOI: 10.1142/S012905410300190X | 0.562 | |||
2003 | Stursberg O, Fehnker A, Han Z, Krogh BH. Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods Ifac Proceedings Volumes. 36: 289-294. DOI: 10.1016/S1474-6670(17)36446-7 | 0.572 | |||
Show low-probability matches. |