5 citations · 11 across the 4 of their papers we have counts for
4 papers
Safe AI -- How is this Possible?
Harald Rueß, Simon Burton
Ttraditional safety engineering is coming to a turning point moving from deterministic, non-evolving systems operating in well-defined contexts to increasingly autonomous and learn…
Systems Challenges for Trustworthy Embodied Systems
Harald Rueß
A new generation of increasingly autonomous and self-learning embodied systems is about to be developed. When deploying embodied systems into a real-life context we face various en…
Verification of Binarized Neural Networks via Inter-Neuron Factoring
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang +1
We study the problem of formal verification of Binarized Neural Networks (BNN), which have recently been proposed as a energy-efficient alternative to traditional learning networks…
G4LTL-ST: Automatic Generation of PLC Programs
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess +1
G4LTL-ST automatically synthesizes control code for industrial Programmable Logic Controls (PLC) from timed behavioral specifications of input-output signals. These specifications…