EasyChair Smart SlideDocs/Log in
Author: Matthias Volk

This page shows all presentations of this author published in EasyChair Smart Slide.

Sampling-Based Verification of CTMCs with Uncertain Rates

Sampling-Based Verification of CTMCs with Uncertain Rates

Thom Badings, Nils Jansen, Sebastian Junges, Marielle Stoelinga and Matthias Volk

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair