51 citations · 233 across the 33 of their papers we have counts for
3 papers · 1 filter
Stochastic Games with Disjunctions of Multiple Objectives
Tobias Winkler, Maximilian Weininger
Stochastic games combine controllable and adversarial non-determinism with stochastic behavior and are a common tool in control, verification and synthesis of reactive systems faci…
Stochastic Games with Disjunctions of Multiple Objectives (Technical Report)
Tobias Winkler, Maximilian Weininger
Stochastic games combine controllable and adversarial non-determinism with stochastic behavior and are a common tool in control, verification and synthesis of reactive systems faci…
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Pranav Ashok, Mathias Jackermeier, Jan Křetínský +3
Recent advances have shown how decision trees are apt data structures for concisely representing strategies (or controllers) satisfying various objectives. Moreover, they also make…