EasyChair Smart SlideUser guide
Author: Sebastian Junges

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

The Revised Practitioner's Guide to MDP Model Checking Algorithms

The Revised Practitioner's Guide to MDP Model Checking Algorithms

Maximilian Weininger, Arnd Hartmanns, Sebastian Junges and Tim Quatmann

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: 2
Copyright © 2002 – 2026 EasyChair