Search Results for author: Jan Kretinsky

Found 2 papers, 1 papers with code

Learning Explainable and Better Performing Representations of POMDP Strategies

no code implementations • 15 Jan 2024 • Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretinsky, Stefanie Mohr

Strategies for partially observable Markov decision processes (POMDP) typically require memory.

Paper
Add Code

Guessing Winning Policies in LTL Synthesis by Semantic Learning

1 code implementation • 24 May 2023 • Jan Kretinsky, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder

Firstly, checking whether a guessed strategy is winning is easier than constructing one.

8

Paper
Code

Cannot find the paper you are looking for? You can Submit a new open access paper.