☰

Zhi Han, Ph.D. - Publications

Affiliations: 
2005 Carnegie Mellon University, Pittsburgh, PA 
Area:
Electronics and Electrical Engineering
Tree Info Similar researchers PubMed Report error

4 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year 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.