Login / Signup

Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.

Carina PilchStefan SchuppAnne Remke
Published in: QEST (2021)
Keyphrases
  • hybrid automata
  • class membership
  • finite state automata
  • hidden markov models
  • class labels
  • class specific
  • prior probabilities
  • class probabilities