Jana Tumova
5 papers
· 2020–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Academic Marathon
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(16)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(15)
Conferences
RSS (3)
AAAI (2)
Top co-authors
Keywords
motion planning
(2)
linear temporal logic
(2)
sequential decision-making
(1)
robot navigation
(1)
sequential decision making
(1)
model predictive control
(1)
human-robot interaction
(1)
model uncertainty
(1)
markov decision process
(1)
belief state
(1)
value iteration
(1)
partially observable markov decision process
(1)
partial observability
(1)
point-based value iteration
(1)
stochastic game
(1)
task planning
(1)
temporal logic
(1)
formal specification
(1)
model checking
(1)
policy synthesis
(1)