Hui Kong

Available identifiers

zbMath Open kong.huiMaRDI QIDQ364599

List of research outcomes

Publication	Date of Publication	Type
Reachable set over-approximation for nonlinear systems using piecewise barrier tubes	2023-05-26	Paper
When Dijkstra Meets Vanishing Point: A Stereo Vision Approach for Road Detection	2019-02-06	Paper
Conic abstractions for hybrid systems	2017-12-01	Paper
Detecting Abandoned Objects With a Moving Camera	2017-10-09	Paper
General Road Detection From a Single Image	2017-10-09	Paper
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems	2013-11-26	Paper
Efficient semantics-based compliance checking using LTL formulae and unfolding	2013-09-09	Paper
An inverse voter model for co-evolutionary networks: Stationary efficiency and phase transitions	2012-07-04	Paper
Linear time construction of 5-phylogenetic roots for tree chordal graphs	2010-03-09	Paper

Research outcomes over time

This page was built for person: Hui Kong