Showing cs.LOShow all
3 papers · 1 filter
cs.LO2025
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer +2
Statistical model checking estimates probabilities and expectations of interest in probabilistic system models by using random simulations. Its results come with statistical guaran…
cs.LO2025
Time-Sensitive Importance Splitting
Gabriel Dengler, Carlos E. Budde, Laura Carnevali +1
State-of-the-art methods for rare event simulation of non-Markovian models face practical or theoretical limits if observing the event of interest requires prior knowledge or infor…
cs.LO2024
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation
Gabriel Dengler, Laura Carnevali, Carlos E. Budde +1
Non-Markovian models have great expressive power, at the cost of complex analysis of the stochastic process. The method of Stochastic State Classes (SSCs) derives closed-form analy…