Jan Křetínský
4 papers · 2020–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (3) 🏃 Academic Marathon (5) 🐝 Cross-Pollinator (9)
🌈
Renaissance Researcher
(5)
🐣
Hot Topic Early Bird
Conferences
UAI (2)
IJCAI (1)
RSS (1)
Top co-authors
Keywords
markov decision process
(2)
online learning
(1)
robot navigation
(1)
average reward
(1)
temporal logic
(1)
formal specification
(1)
policy synthesis
(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)
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