Get started
Author

Jana Tůmová

Observed names: J Tumova, J. Tumova, Jana Tumova, Jana Tumova, Jana Tumová, Tumova Jana, Tumova, Jana
Observed institutions: Boston University, Scania (Sweden), Ericsson (Sweden), Masaryk University, Digital Futures, Massachusetts Institute of Technology, KTH Royal Institute of Technology
ORCID: 0000-0003-4173-2593
Observed ORCID: 0000-0003-4173-2593
OpenAlex ID: A5042698317
Optimal path planning for surveillance with temporal-logic constraints
2011 · Stephen L Smith, Jana Tůmová, et al. · The International Journal of Robotics Research · 207
Temporal Logic Control of Discrete-Time Piecewise Affine Systems
2011 · Boyan Yordanov, Jana Tumova, et al. · IEEE Transactions on Automatic Control · 124
Multi-agent planning under local LTL specifications and event-based synchronization
2016 · Jana Tumova, Dimos V. Dimarogonas · Automatica · 110
PDF
Least-violating control strategy synthesis with safety rules
2013 · Jana Tumova, Gavin C. Hall, et al. · International Conference on Hybrid Systems: computation and control · 89
Incremental sampling-based algorithm for minimum-violation motion planning
2013 · Luis I. Reyes Castro, Pratik Chaudhari, et al. · IEEE Conference on Decision and Control (CDC) · 82
PDF
Minimum-violation scLTL motion planning for mobility-on-demand
2017 · Cristian-Ioan Vasile, Jana Tumova, et al. · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · 74
PDF
Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving
2019 · Bouton, Maxime, Karlsson, Jesper, et al. · arXiv (Cornell University) · 70
PDF
Risk-aware Motion Planning for Autonomous Vehicles with Safety Specifications
2021 · Truls Nyberg, Christian Pek, et al. · IEEE Intelligent Vehicles Symposium · 62
LTL robot motion control based on automata learning of environmental dynamics
2012 · Yushan Chen, Jana Tumova, et al. · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · 52
Minimum-violation LTL planning with conflicting specifications
2013 · Jana Tumova, Luis I. Reyes Castro, et al. · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference · 51
Cooperative task planning of multi-agent systems under timed temporal specifications
2016 · Alexandros Nikou, Jana Tumova, et al. · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference · 45
PDF
Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints
2014 · Meng Guo, Jana Tumova, et al. · IEEE Conference on Decision and Control (CDC) · 45
On the timed temporal logic planning of coupled multi-agent systems
2018 · Alexandros Nikou, Dimitris Boskos, et al. · Automatica · 44
PDF
Optimal path planning under temporal logic constraints
2010 · S L Smith, J Tumova, et al. · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · 42
Sampling-based Motion Planning with Temporal Logic Missions and Spatial Preferences
2020 · Jesper Karlsson, Fernando S. Barbosa, et al. · IFAC-PapersOnLine · 39
Guiding Autonomous Exploration With Signal Temporal Logic
2019 · Fernando S. Barbosa, Daniel Duberg, et al. · IEEE Robotics and Automation Letters · 39
Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks
2019 · Lars Lindemann, Jakub Nowak, et al. · IEEE Transactions on Control Systems Technology · 36
Risk-Aware Motion Planning in Partially Known Environments
2021 · Fernando S. Barbosa, Bruno Lacerda, et al. · IEEE Conference on Decision and Control (CDC) · 33
PDF
Maximally satisfying LTL action planning
2014 · Jana Tumova, Alejandro Marzinotto, et al. · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · 33
Communication-Free Multi-Agent Control Under Local Temporal Tasks and Relative-Distance Constraints
2016 · Meng Guo, Jana Tumova, et al. · IEEE Transactions on Automatic Control · 32
PDF
Multi-robot LTL Planning Under Uncertainty
2018 · Claudio Menghi, Sergio Garcia, et al. · Lecture notes in computer science · 31
PDF
Encoding Human Driving Styles in Motion Planning for Autonomous Vehicles
2021 · Jesper Karlsson, Sanne van Waveren, et al. · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · 29
A receding horizon approach to multi-agent planning from local LTL specifications
2014 · Jana Tumova, Dimos V. Dimarogonas · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference · 29
PDF
Foresee the Unseen: Sequential Reasoning about Hidden Obstacles for Safe Driving
2022 · Jose Manuel Gaspar Sanchez, Truls Nyberg, et al. · IEEE Intelligent Vehicles Symposium · 28
Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes
2020 · Maxime Bouton, Jana Tumova, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 27
Works count: 150
Citation count: 2,170
H-index: 26
I10-index: 54
Year
Topic
Type