Jana Tumova
5 papers · 2020–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌍 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)
Papers
Collaborative Object Transportation in Space via Impact Interactions
RSS 2025
Robust Active Measuring under Model Uncertainty
AAAI 2024
Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop
RSS 2023
Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments
RSS 2021
Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes
AAAI 2020