Interval abstraction plus big time steps semantics yields the first general effective model checker for stochastic automata with arbitrary distributions.
ACM Transactions on Modeling and Computer Simulation 28(1), pp
2 Pith papers cite this work, alongside 289 external citations. Polarity classification is still indexing.
2
Pith papers citing it
289
external citations · OpenAlex
citation-role summary
method 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
method 1polarities
use method 1representative citing papers
Statistical model checking reproduces key stylized facts of the Island Model with confidence intervals, confirms moderate exploration rates are optimal, and enables counterfactual sensitivity analysis across parameters.
citing papers explorer
-
Effective Stochastic Automata Model Checking by Interval Abstraction (extended version)
Interval abstraction plus big time steps semantics yields the first general effective model checker for stochastic automata with arbitrary distributions.
-
Statistical Model Checking of the Island Model: An Established Economic Agent-Based Model of Endogenous Growth
Statistical model checking reproduces key stylized facts of the Island Model with confidence intervals, confirms moderate exploration rates are optimal, and enables counterfactual sensitivity analysis across parameters.