12 citations · 14 across the 4 of their papers we have counts for
4 papers
Leveraging Semantic Embeddings for Safety-Critical Applications
Thomas Brunner, Frederik Diehl, Michael Truong Le +1
Semantic Embeddings are a popular way to represent knowledge in the field of zero-shot learning. We observe their interpretability and discuss their potential utility in a safety-c…
Potentials and Implications of Dedicated Highway Lanes for Autonomous Vehicles
Jordan Ivanchev, Alois Knoll, Daniel Zehe +2
The introduction of autonomous vehicles (AVs) will have far-reaching effects on road traffic in cities and on highways.The implementation of automated highway system (AHS), possibl…
A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems
Chih-Hong Cheng, Harald Ruess, Alois Knoll +1
In this paper, we present an approach for fault-tolerant synthesis by combining predefined patterns for fault-tolerance with algorithmic game solving. A non-fault-tolerant system,…
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
Chih-Hong Cheng, Christian Buckl, Javier Esparza +1
The focus of the tool FTOS is to alleviate designers' burden by offering code generation for non-functional aspects including fault-tolerance mechanisms. One crucial aspect in this…