Jana Tumova

Identifiers

• name variant Jana Tumova 0.60 · backfill

Papers (18)

1. Safety-critical Control Under Partial Observability: Reach-Avoid POMDP meets Belief Space Control cs.RO · 2026 · author #3
2. Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving cs.RO · 2019 · author #6
3. Structured Synthesis for Probabilistic Systems cs.SE · 2018 · author #3
4. On the Timed Temporal Logic Planning of Coupled Multi-Agent Systems cs.SY · 2017 · author #3
5. Probabilistic Plan Synthesis for Coupled Multi-Agent Systems cs.SY · 2017 · author #2
6. Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization cs.SY · 2016 · author #1
7. Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL Specifications cs.SY · 2016 · author #1
8. Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures cs.SE · 2016 · author #2
9. Cooperative Planning for Coupled Multi-Agent Systems under Timed Temporal Specifications cs.SY · 2016 · author #3
10. Synthesizing least-limiting guidelines for safety of semi-autonomous systems cs.SY · 2015 · author #1
11. Cooperative Task Planning of Multi-Agent Systems Under Timed Temporal Specifications cs.SY · 2015 · author #2
12. Communication-Free Multi-Agent Control under Local Temporal Tasks and Relative-Distance Constraints cs.MA · 2014 · author #2
13. Cooperative Decentralized Multi-agent Control under Local LTL Tasks and Connectivity Constraints cs.SY · 2014 · author #2
14. A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specifications cs.RO · 2014 · author #1
15. Incremental Sampling-based Algorithm for Minimum-violation Motion Planning cs.RO · 2013 · author #3
16. Minimum-violation LTL Planning with Conflicting Specifications cs.RO · 2013 · author #1
17. Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints cs.RO · 2012 · author #2
18. Optimal Path Planning under Temporal Logic Constraints cs.RO · 2010 · author #2

Mentions

• 1709.06888 #3 · arxiv_oai · confidence 0.70 Jana Tumova
• 1704.01432 #2 · arxiv_oai · confidence 0.70 Jana Tumova
• 1610.08380 #1 · arxiv_oai · confidence 0.70 Jana Tumova
• 1610.08379 #1 · arxiv_oai · confidence 0.70 Jana Tumova
• 1603.05097 #3 · arxiv_oai · confidence 0.70 Jana Tumova
• 1510.06496 #1 · arxiv_oai · confidence 0.70 Jana Tumova
• 1509.09137 #2 · arxiv_oai · confidence 0.70 Jana Tumova
• 1410.8673 #2 · arxiv_oai · confidence 0.70 Jana Tumova
• 1405.1836 #2 · arxiv_oai · confidence 0.70 Jana Tumova
• 1410.8673 #2 · backfill · confidence 0.70 Jana Tumova
• 1405.1836 #2 · backfill · confidence 0.70 Jana Tumova
• 1403.4174 #1 · backfill · confidence 0.70 Jana Tumova
• 1305.1102 #3 · backfill · confidence 0.70 Jana Tumova
• 1303.3679 #1 · backfill · confidence 0.70 Jana Tumova
• 1208.5855 #2 · backfill · confidence 0.70 Jana Tumova
• 1007.2212 #2 · backfill · confidence 0.70 Jana Tumova

Frequent Coauthors

• Dimos V. Dimarogonas 10 shared papers
• Alexandros Nikou 4 shared papers
• Daniela Rus 3 shared papers
• Dimitris Boskos 2 shared papers
• Emilio Frazzoli 2 shared papers
• Luis I. Reyes Castro 2 shared papers
• Meng Guo 2 shared papers
• Sertac Karaman 2 shared papers
• Alireza Nakhaei 1 shared papers
• Bara Buhnova 1 shared papers
• Calin Belta 1 shared papers
• Ivana Cerna 1 shared papers
• Jana Kofro\v{n} 1 shared papers
• Jesper Karlsson 1 shared papers
• Jiri Barnat 1 shared papers
• Joris Verhagen 1 shared papers
• Kikuo Fujimura 1 shared papers
• Laura Humphrey 1 shared papers
• Maria Svorenova 1 shared papers
• Matti Vahs 1 shared papers