Reference author: Arnd Hartmanns

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.