Stochastic Games with Lexicographic Reachability-Safety Objectives

por Chatterjee, Krishnendu, Katoen, Joost-Pieter, Weininger, Maximilian, Winkler, Tobias
Publicado 2020

Automata Tutor v3

por D’Antoni, Loris, Helfrich, Martin, Kretinsky, Jan, Ramneantu, Emanuel, Weininger, Maximilian
Publicado 2020

dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts

por Ashok, Pranav, Jackermeier, Mathias, Křetínský, Jan, Weinhuber, Christoph, Weininger, Maximilian, Yadav, Mayank
Publicado 2021