Folgen
Jana Tumova
Jana Tumova
KTH
Bestätigte E-Mail-Adresse bei kth.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2062011
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
1602011
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
1062013
Multi-agent planning under local LTL specifications and event-based synchronization
J Tumova, DV Dimarogonas
Automatica 70, 239-248, 2016
1022016
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
942013
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
682012
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
672010
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
652016
Reinforcement learning with probabilistic guarantees for autonomous driving
M Bouton, J Karlsson, A Nakhaei, K Fujimura, MJ Kochenderfer, ...
arXiv preprint arXiv:1904.07189, 2019
642019
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
642013
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
632017
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
532014
On the timed temporal logic planning of coupled multi-agent systems
A Nikou, D Boskos, J Tumova, DV Dimarogonas
Automatica 97, 339-345, 2018
492018
A receding horizon approach to multi-agent planning from local LTL specifications
J Tůmová, DV Dimarogonas
2014 American Control Conference, 1775-1780, 2014
472014
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
382010
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
372008
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
342010
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
332013
Multi-robot LTL planning under uncertainty
C Menghi, S Garcia, P Pelliccione, J Tumova
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
322018
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
322017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20