Name Card

Full name Familienname, Vorname

Kong, Hui

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Kong, Hui ; Bartocci, Ezio ; Jiang, Yu ; Henzinger, Thomas A.	Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty	Konferenzbeitrag Inproceedings	2019
	2		Kong, Hui ; Bartocci, Ezio ; Henzinger, Thomas A.	Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes	Konferenzbeitrag Inproceedings	2018
	3		Kong, Hui ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu ; Henzinger, Thomas A. ; Jiang, Yu ; Schilling, Christian	Discrete Abstraction of Multiaffine Systems	Konferenzbeitrag Inproceedings	2016
	4		Bogomolov, Sergiy ; Schilling, Christian ; Bartocci, Ezio ; Batt, Gregory ; Kong, Hui ; Grosu, Radu	Abstraction-Based Parameter Synthesis for Multiaffine Systems	Konferenzbeitrag Inproceedings	2015