Jana Tumova

6 papers · 2020–2026 · 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 · Silver 🗺️ Taxonomy Completionist (19) 🐣 Hot Topic Early Bird

Venues

RSS (3) AAAI (2) L4DC (1)

Top co-authors

Nils Jansen (1) Kush Grover (1) Iolanda Leite (1) Merlijn Krale (1) Ilaria Torre (1) Joris Verhagen (1) Chelsea Rose Sidrane (1) Fernando S Barbosa (1) Maxime Bouton (1) Georg Schuppe (1)

Research topics

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

Keywords

motion planning (2) linear temporal logic (2) 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) safety verification (1) task planning (1) temporal logic (1) formal specification (1) model checking (1) policy synthesis (1)

Papers

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems L4DC 2026 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