STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking.

Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang

Browse the full VMCAI paper archive.