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. Polarity classification is still indexing.
2
Pith papers citing it
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
-
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.