8 citations · 22 across the 7 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2021
LTL-Constrained Steady-State Policy Synthesis
Jan Křetínský
Decision-making policies for agents are often synthesized with the constraint that a formal specification of behaviour is satisfied. Here we focus on infinite-horizon properties. O…
cs.AI2021
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…
cs.AI2018
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
Jan Křetínský, Guillermo A. Pérez, Jean-François Raskin
We formalize the problem of maximizing the mean-payoff value with high probability while satisfying a parity objective in a Markov decision process (MDP) with unknown probabilistic…