Posts by Collection

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games

Published in CONCUR 2025, 2025

Download Paper

Talk 1 on Relevant Topic in Your Field

Published: March 01, 2012

This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!

Modelling and Verification of Probabilistic Systems

Graduate Course, RWTH Aachen, 2023