Reference author: Pedro D'Argenio

D’Argenio, P. ., Gerhold, M. ., Hartmanns, A. ., & Sedwards, S. . (2018). A Hierarchy of Scheduler Classes for Stochastic Automata. Thessaloniki, Greece: Springer. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-89366-2_21

D’Argenio, P. ., Hartmanns, A. ., & Sedwards, S. . (2018). Lightweight Statistical Model Checking in Nondeterministic Continuous Time. Limassol, Cyprus: Springer. Retrieved from https://link.springer.com/chapter/10.1007/978-3-030-03421-4_22

Budde, C. ., D’Argenio, P. ., Hartmanns, A. ., & Sedwards, S. . (2018). A Statistical Model Checker for Nondeterminism and Rare Events. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-89963-3_20

Hartmanns, A. ., Sedwards, S. ., & D’Argenio, P. . (2017). Efficient Simulation-based Verification of Probabilistic Timed Automata. Efficient Simulation-Based Verification of Probabilistic Timed Automata, 1419\textendash1430. Las Vegas, USA: IEEE. https://doi.org/10.1109/WSC.2017.8247885

Budde, C. ., D’Argenio, P. ., Hartmanns, A. ., & Sedwards, S. . (2020). An Efficient Statistical Model Checker for Nondeterminism and Rare Events. International Journal on Software Tools For Technology Transfer, Special Issue TACAS 2018.