Jan Kretinsky

Identifiers

No identifiers captured yet.

Papers (3)

1. Explainable Representation of Finite-Memory Policies for POMDPs using Decision Trees cs.AI · 2024 · author #4
2. One Theorem to Rule Them All: A Unified Translation of LTL into {\omega}-Automata cs.LO · 2018 · author #2
3. Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games cs.SY · 2014 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Calin Belta 1 shared papers
• Debraj Chakraborty 1 shared papers
• Ivana Cerna 1 shared papers
• Javier Esparza 1 shared papers
• Krishnendu Chatterjee 1 shared papers
• Maria Svorenova 1 shared papers
• Martin Chmelik 1 shared papers
• Muqsit Azeem 1 shared papers
• Salomon Sickert 1 shared papers
• Sudeep Kanav 1 shared papers