Jana Tumova

Citée par

	Toutes	Depuis 2019
Citations	2425	1615
indice h	28	25
indice i10	48	42

340

170

255

20102011201220132014201520162017201820192020202120222023202419 25 38 94 90 92 112 149 173 185 258 257 287 301 326

Accès public

Tout afficher

54 articles

5 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Dimos DimarogonasKTH Royal Institute of TechnologyAdresse e-mail validée de kth.se
Calin BeltaBrendan Iribe Endowed Professor, University of MarylandAdresse e-mail validée de bu.edu
Daniela RusAndrew (1956) and Erna Viterbi Professor of Computer Science, MITAdresse e-mail validée de csail.mit.edu
Jiří BarnatMasaryk University, Faculty of InformaticsAdresse e-mail validée de fi.muni.cz
Christian PekAssistant Professor, Delft University of TechnologyAdresse e-mail validée de tudelft.nl
Ivana CernaMasaryk University, Brno, Czech RepublicAdresse e-mail validée de fi.muni.cz
Sertac KaramanProfessor of Aeronautics and Astronautics, Massachusetts Institute of TechnologyAdresse e-mail validée de mit.edu
Fernando dos Santos BarbosaSenior Researcher @ Ericsson ResearchAdresse e-mail validée de ericsson.com
Iolanda LeiteAssociate Professor at KTH Royal Institute of TechnologyAdresse e-mail validée de kth.se
Alexandros NikouSenior Researcher, Ericsson ResearchAdresse e-mail validée de ericsson.com
Danica KragicProfessor of Computer Science, KTH - Royal Institute of TechnologyAdresse e-mail validée de kth.se
Meng GuoPeking UniversityAdresse e-mail validée de pku.edu.cn
Emilio FrazzoliProfessor of Dynamic Systems and ControlAdresse e-mail validée de ethz.ch
Boyan YordanovScientific TechnologiesAdresse e-mail validée de scientific.london
Pouria TajvarPostdoctoral researcher, KTH Royal Institute of TechnologyAdresse e-mail validée de kth.se
Stephen L. SmithProfessor of Electrical and Computer Engineering, University of WaterlooAdresse e-mail validée de uwaterloo.ca
Alexis LinardPost Doctoral Researcher, KTH Royal Institute of TechnologyAdresse e-mail validée de kth.se
Dimitris BoskosDelft University of TechnologyAdresse e-mail validée de tudelft.nl
Milan CeskaBrno University of TechnologyAdresse e-mail validée de fit.vutbr.cz
Luboš BrimMasaryk university, Faculty of InformaticsAdresse e-mail validée de fi.muni.cz

Suivre

Jana Tumova

KTH

Adresse e-mail validée de kth.se - Page d'accueil


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	248	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	169	2011
Multi-agent planning under local LTL specifications and event-based synchronization J Tumova, DV Dimarogonas Automatica 70, 239-248, 2016	132	2016
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	115	2013
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	110	2013
Reinforcement learning with probabilistic guarantees for autonomous driving M Bouton, J Karlsson, A Nakhaei, K Fujimura, MJ Kochenderfer, ... arXiv preprint arXiv:1904.07189, 2019	85	2019
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	80	2017
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	71	2013
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	71	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	70	2016
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	68	2010
On the timed temporal logic planning of coupled multi-agent systems A Nikou, D Boskos, J Tumova, DV Dimarogonas Automatica 97, 339-345, 2018	61	2018
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	59	2014
A receding horizon approach to multi-agent planning from local LTL specifications J Tůmová, DV Dimarogonas 2014 American Control Conference, 1775-1780, 2014	52	2014
Risk-aware motion planning for autonomous vehicles with safety specifications T Nyberg, C Pek, L Dal Col, C Norén, J Tumova 2021 ieee intelligent vehicles symposium (iv), 1016-1023, 2021	46	2021
Coupled multi-robot systems under linear temporal logic and signal temporal logic tasks L Lindemann, J Nowak, L Schönbächler, M Guo, J Tumova, ... IEEE Transactions on Control Systems Technology 29 (2), 858-865, 2019	42	2019
Multi-robot LTL planning under uncertainty C Menghi, S Garcia, P Pelliccione, J Tumova International Symposium on Formal Methods, 399-417, 2018	42	2018
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	40	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	39	2010
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	38	2017

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs