7 citations · 7 across the 1 of their papers we have counts for
2 papers
cs.SE2017★ 7 cited
Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives
Chih-Hong Cheng, Frederik Diehl, Yassine Hamza +5
We propose a methodology for designing dependable Artificial Neural Networks (ANN) by extending the concepts of understandability, correctness, and validity that are crucial ingred…
cs.LO2016
Structural Synthesis for GXW Specifications
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
We define the GXW fragment of linear temporal logic (LTL) as the basis for synthesizing embedded control software for safety-critical applications. Since GXW includes the use of a…