This page shows all presentations of this author published in EasyChair Smart Slide.
Teaching Your PETS: Should I Stay or Should I Go?
Tobias Meggendorfer and Maximilian Weininger
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
Jan Kretinsky and Tobias Meggendorfer
Rabinizer 4: From LTL Deterministic Automata
Jan Kretinsky, Tobias Meggendorfer and Salomon Sickert