Login / Signup
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction.
Carina da Silva
Stefan Schupp
Anne Remke
Published in:
ACM Trans. Model. Comput. Simul. (2023)
Keyphrases
</>
hybrid automata
monte carlo
probability distribution
state space
class labels
prior probabilities