Jan Křetínský

4 papers · 2020–2025 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Gold 🐣 Hot Topic Early Bird

Venues

UAI (2) IJCAI (1) RSS (1)

Top co-authors

Kush Grover (1) Guillermo Pérez (1) Jana Tumova (1) Roman Andriushchenko (1) Sebastian Junges (1) Fabian Michel (1) Debraj Chakraborty (1) Lukas Michel (1) Fernando S Barbosa (1) Milan Ceska (1)

Research topics

Artificial Intelligence (3) Reinforcement Learning (3) Core AI (3) Methods (3) Machine Learning (2) Knowledge & Reasoning (1) Mathematics & Optimization (1) Learning Types (1) Optimization (1) Optimization & Theory (1) Reasoning (1)

Keywords

markov decision process (3) online learning (1) robot navigation (1) policy interpretability (1) average reward (1) temporal logic (1) formal specification (1) policy synthesis (1) local search (1) linear temporal logic (1) steady-state policy (1) linear programme (1) automata reduction (1) semantic abstraction (1) near-optimal algorithm (1) rapidly-exploring random graph (1) decision tree policy (1) steady-state constraint (1) motion planning (1) finite-memory policy (1)

Papers

Symbiotic Local Search for Small Decision Tree Policies in MDPs UAI 2025 LTL-Constrained Steady-State Policy Synthesis IJCAI 2021 Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments RSS 2021 Finite-Memory Near-Optimal Learning for Markov Decision Processes with Long-Run Average Reward UAI 2020