Jana Tumova

Cited by

	All	Since 2016
Citations	1307	950
h-index	20	18
i10-index	31	29

240

120

180

200820092010201120122013201420152016201720182019202020214 3 14 27 37 89 85 90 101 147 178 192 239 93

Public access

View all

22 articles

5 articles

available

not available

Based on funding mandates

Co-authors

Dimos DimarogonasKTH Royal Institute of TechnologyVerified email at kth.se
Calin BeltaProfessor, Boston UniversityVerified email at bu.edu
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
Daniela RusAndrew (1956) and Erna Viterbi Professor of Computer Science, MITVerified email at csail.mit.edu
Ivana CernaMasaryk University, Brno, Czech RepublicVerified email at fi.muni.cz
Sertac KaramanAssociate Professor of Aeronautics and Astronautics, Massachusetts Institute of TechnologyVerified email at mit.edu
Boyan YordanovComputational Science Laboratory, Microsoft ResearchVerified email at microsoft.com
Emilio FrazzoliProfessor of Dynamic Systems and ControlVerified email at ethz.ch
Meng GuoResearch Scientist, Bosch Center for Artificial Intelligence (BCAI)Verified email at de.bosch.com
Alexandros NikouEricsson ResearchVerified email at ericsson.com
Stephen L. SmithAssociate Professor of Electrical and Computer Engineering, University of WaterlooVerified email at uwaterloo.ca
Luboš BrimMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Dimitris BoskosDelft University of TechnologyVerified email at tudelft.nl
Milan CeskaBrno University of TechnologyVerified email at fit.vutbr.cz
Yushan ChenBoston UniversityVerified email at bu.edu
Patrizio PelliccioneFull Professor in Computer Science and Software Engineering at Gran Sasso Science Institute (GSSI)Verified email at gssi.it
Cristian-Ioan VasileLehigh UniversityVerified email at lehigh.edu
Pratik ChaudhariUniversity of PennsylvaniaVerified email at seas.upenn.edu
Claudio MenghiUniversity of Luxembourg, Interdisciplinary Centre for Security, Reliability and TrustVerified email at uni.lu
Danica KragicProfessor of Computer Science, KTH - Royal Institute of TechnologyVerified email at kth.se

Jana Tumova

KTH

Verified email at kth.se - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Optimal path planning for surveillance with temporal-logic constraints SL Smith, J Tůmová, C Belta, D Rus The International Journal of Robotics Research 30 (14), 1695-1708, 2011	160	2011
Temporal logic control of discrete-time piecewise affine systems B Yordanov, J Tumova, I Cerna, J Barnat, C Belta IEEE Transactions on Automatic Control 57 (6), 1491-1504, 2011	141	2011
Least-violating control strategy synthesis with safety rules J Tumova, GC Hall, S Karaman, E Frazzoli, D Rus Proceedings of the 16th international conference on Hybrid systems …, 2013	81	2013
Multi-agent planning under local LTL specifications and event-based synchronization J Tumova, DV Dimarogonas Automatica 70, 239-248, 2016	78	2016
Incremental sampling-based algorithm for minimum-violation motion planning LIR Castro, P Chaudhari, J Tůmová, S Karaman, E Frazzoli, D Rus 52nd IEEE Conference on Decision and Control, 3217-3224, 2013	68	2013
Optimal Path Planning under Temporal Logic Contstraints SL Smith, J Tůmová, C Belta, D Rus Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent …, 2010	60	2010
LTL robot motion control based on automata learning of environmental dynamics Y Chen, J Tůmová, C Belta 2012 IEEE International Conference on Robotics and Automation, 5177-5182, 2012	58	2012
Cooperative task planning of multi-agent systems under timed temporal specifications A Nikou, J Tumova, DV Dimarogonas 2016 American Control Conference (ACC), 7104-7109, 2016	53	2016
Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints M Guo, J Tumova, DV Dimarogonas 53rd IEEE conference on decision and control, 75-80, 2014	45	2014
Minimum-violation LTL planning with conflicting specifications J Tůmová, LIR Castro, S Karaman, E Frazzoli, D Rus 2013 American Control Conference, 200-205, 2013	43	2013
A receding horizon approach to multi-agent planning from local LTL specifications J Tůmová, DV Dimarogonas 2014 American Control Conference, 1775-1780, 2014	41	2014
Minimum-violation scLTL motion planning for mobility-on-demand CI Vasile, J Tumova, S Karaman, C Belta, D Rus 2017 IEEE International Conference on Robotics and Automation (ICRA), 1481-1488, 2017	38	2017
ProbDiVinE-MC: Multi-core LTL model checker for probabilistic systems J Barnat, L Brim, I Cerná, M Ceška, J Tumova 2008 Fifth International Conference on Quantitative Evaluation of Systems, 77-78, 2008	36	2008
Formal analysis of piecewise affine systems through formula-guided refinement B Yordanov, J Tůmová, C Belta, I Černá, J Barnat 49th IEEE Conference on Decision and Control (CDC), 5899-5904, 2010	34	2010
A symbolic approach to controlling piecewise affine systems J Tůmová, B Yordanov, C Belta, I Černá, J Barnat 49th IEEE Conference on decision and control (CDC), 4230-4235, 2010	33	2010
Reinforcement learning with probabilistic guarantees for autonomous driving M Bouton, J Karlsson, A Nakhaei, K Fujimura, MJ Kochenderfer, ... arXiv preprint arXiv:1904.07189, 2019	29	2019
On the timed temporal logic planning of coupled multi-agent systems A Nikou, D Boskos, J Tumova, DV Dimarogonas Automatica 97, 339-345, 2018	28	2018
Temporal logic robot control based on automata learning of environmental dynamics Y Chen, J Tůmová, A Ulusoy, C Belta The International Journal of Robotics Research 32 (5), 547-565, 2013	27	2013
Cooperative planning for coupled multi-agent systems under timed temporal specifications A Nikou, D Boskos, J Tumova, DV Dimarogonas 2017 American Control Conference (ACC), 1847-1852, 2017	25	2017
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints M Svoreňová, J Tůmová, J Barnat, I Černá Proceedings of the 51st IEEE Conference on Decision and Control 10, 2012	21	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors