Picture for Jan Kretinsky

Jan Kretinsky

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization

Add code
Oct 23, 2024
Viaarxiv icon

Monitizer: Automating Design and Evaluation of Neural Network Monitors

Add code
May 16, 2024
Viaarxiv icon

Learning Explainable and Better Performing Representations of POMDP Strategies

Add code
Jan 20, 2024
Viaarxiv icon

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints

Add code
May 26, 2023
Viaarxiv icon

Guessing Winning Policies in LTL Synthesis by Semantic Learning

Add code
May 24, 2023
Viaarxiv icon