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