Login / Signup
Jonas Stübbe
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Discrete Event
Meta Learning
Black Box
Hybrid Systems
Top Venues
VALUETOOLS
</>
Publications
</>
Joanna Delicaris
,
Jonas Stübbe
,
Stefan Schupp
,
Anne Remke
RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.
VALUETOOLS
(2023)