Login / Signup
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.
Carina Pilch
Stefan Schupp
Anne Remke
Published in:
QEST (2021)
Keyphrases
</>
hybrid automata
class membership
finite state automata
hidden markov models
class labels
class specific
prior probabilities
class probabilities