Login / Signup

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

Carina da SilvaStefan SchuppAnne Remke
Published in: ACM Trans. Model. Comput. Simul. (2023)
Keyphrases
  • hybrid automata
  • monte carlo
  • probability distribution
  • state space
  • class labels
  • prior probabilities