• Research Article in Edited Proceeding (Conference)

    • , , , , , , , , , , , , , and . . “ARCH-COMP22 Category Report: Stochastic Models.” in Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Vol.90 of EPiC Series in Computing, edited by Goran Frehse, Matthias Althoff, Erwin Schoitsch and Jeremie Guiochet. Bramhall: EasyChair. doi: 10.29007/lsvc.