Chih-Hong Cheng

Available identifiers

zbMath Open cheng.chih-hongMaRDI QIDQ2281625

List of research outcomes

Publication	Date of Publication	Type
Quantitative projection coverage for testing ML-enabled autonomous systems	2023-07-28	Paper
Mixed-neighborhood, multi-speed cellular automata for safety-aware pedestrian prediction	2023-05-26	Paper
Compositional parameter synthesis	2020-01-03	Paper
Structural Synthesis for GXW Specifications	2019-05-03	Paper
Algorithms for synthesizing priorities in component-based systems	2011-10-07	Paper
On the hardness of priority synthesis	2011-07-29	Paper
Model construction and priority synthesis for simple interaction systems	2011-07-22	Paper
Synthesis of fault-tolerant embedded systems using games: from theory to practice	2011-02-15	Paper

Research outcomes over time

This page was built for person: Chih-Hong Cheng