3 papers
cs.LO2026
Effective Stochastic Automata Model Checking by Interval Abstraction (extended version)
Pedro R. D'Argenio, Arnd Hartmanns, Annabell Petri
Stochastic automata (SA) are a formal stochastic continuous-time model based on countdown timers whose expiration times follow general probability distributions. SA are particularl…
cs.LO2026
Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)
Pedro R. D'Argenio, Arnd Hartmanns, Patrick Wienhöft +1
Statistical model checking delivers quantitative verification results with statistical guarantees. It scales to model sizes and model types that are out of reach for exhaustive, an…
cs.FL2024
Digging for Decision Trees: A Case Study in Strategy Sampling and Learning
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
We introduce a formal model of transportation in an open-pit mine for the purpose of optimising the mine's operations. The model is a network of Markov automata (MA); the optimisat…