Sign in
Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety.
Necmiye Ozay
Published in:
HSCC (2020)
Keyphrases
</>
hybrid automata
finite state automata
knowledge representation
formal theory
formal model
safety critical
machine learning
computational complexity
decision rules
conceptual graphs