EasyChair Smart SlideUser guide
Author: Maximilian Weininger

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

Teaching Your PETS: Should I Stay or Should I Go?

Teaching Your PETS: Should I Stay or Should I Go?

Tobias Meggendorfer and Maximilian Weininger

Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm

Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm

Edon Kelmendi, Julia Krämer, Jan Kretinsky and Maximilian Weininger

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair