EasyChair Smart SlideDocs/Log in
Author: Jan Kretinsky

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

One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata

One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata

Javier Esparza, Jan Kretinsky and Salomon Sickert

Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes

Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes

Jan Kretinsky and Tobias Meggendorfer

Rabinizer 4: From LTL Deterministic Automata

Rabinizer 4: From LTL Deterministic Automata

Jan Kretinsky, Tobias Meggendorfer and Salomon Sickert

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: 4
Copyright © 2002 – 2024 EasyChair