Login / Signup
Carina da Silva
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Hybrid Automata
Monte Carlo
Class Labels
Top Venues
ACM Trans. Model. Comput. Simul.
</>
Publications
</>
Carina da Silva
,
Stefan Schupp
,
Anne Remke
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction.
ACM Trans. Model. Comput. Simul.
33 (4) (2023)