Jan Křetínský
4 papers
· 2020–2025
· 3 conferences
· across top CS/AI conferences
Achievements
🌉
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)