Výpis publikací

YORDANOV, Boyan, Jana TŮMOVÁ, Ivana ČERNÁ, Jiří BARNAT a Calin BELTA. Formal analysis of piecewise affine systems through formula-guided refinement. Automatica. Elsevier, 2013, roč. 49, č. 1, s. 261-266. ISSN 0005-1098. Dostupné z: https://dx.doi.org/10.1016/j.automatica.2012.09.027.

REYES CASTRO, Luis Ignacio, Pratik CHAUDHARI, Jana TŮMOVÁ, Sertac KARAMAN, Emilio FRAZZOLI a Daniela RUS. Incremental Sampling-Based Algorithm for Minimum-Violation Motion Planning. In Proceedings of the IEEE 52nd Annual Conference on Decision and Control (CDC), 2013. Florence, Italy: IEEE, 2013, s. 3217-3224. ISBN 978-1-4673-5717-3. Dostupné z: https://dx.doi.org/10.1109/CDC.2013.6760374.

TŮMOVÁ, Jana, Gavin HALL, Sertac KARAMAN, Emilio FRAZZOLI a Daniela RUS. Least-violating control strategy synthesis with safety rules. In Proceedings of the 16th international conference on Hybrid systems: computation and control. New York, NY, USA: ACM, 2013, s. 1-10. ISBN 978-1-4503-1567-8. Dostupné z: https://dx.doi.org/10.1145/2461328.2461330.

TŮMOVÁ, Jana, Luis REYES CASTRO, Sertac KARAMAN, Emilio FRAZZOLI a Daniela RUS. Minimum-violation LTL Planning with Conflicting Specifications. In Proceedings of the American Control Conference. New York, (NY, USA): IEEE, 2013, s. 200-205. ISBN 978-1-4799-0177-7. Dostupné z: https://dx.doi.org/10.1109/ACC.2013.6579837.

CHEN, Yushan, Jana TŮMOVÁ, Alphan ULUSOY a Calin BELTA. Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics. International Journal of Robotics Research. 2013, roč. 32, č. 5, s. 547-565. ISSN 0278-3649. Dostupné z: https://dx.doi.org/10.1177/0278364912473168.

SVOREŇOVÁ, Mária, Jana TŮMOVÁ, Jiří BARNAT a Ivana ČERNÁ. Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints. Online. In Proceedings of the 51st IEEE Conference on Decision and Control. Neuveden: Omnipress for the IEEE Control Systems Society, 2012, s. 6749-6754. ISBN 978-1-4673-2066-5. Dostupné z: https://dx.doi.org/10.1109/CDC.2012.6426041.

CHEN, Yushan, Jana TŮMOVÁ a Calin BELTA. LTL Robot Motion Control based on Automata Learning of Environmental Dynamics. In 2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA). NEW YORK: IEEE, 2012, s. 5177-5182. ISBN 978-1-4673-1405-3. Dostupné z: https://dx.doi.org/10.1109/ICRA.2012.6225075.

YORDANOV, Boyan, Jana TŮMOVÁ, Ivana ČERNÁ, Jiří BARNAT a Calin BELTA. Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Transactions on Automatic Control. PISCATAWAY, 2012, roč. 57, č. 6, s. 1491-1504. ISSN 0018-9286. Dostupné z: https://dx.doi.org/10.1109/TAC.2011.2178328.

BARNAT, Jiří, Ivana ČERNÁ a Jana TŮMOVÁ. Timed Automata Approach to Verification of Systems with Degradation. In MEMICS 2011. LNCS 7119. Heidelberg: Springer, 2012, s. 84 - 93. ISBN 978-3-642-25928-9. Dostupné z: https://dx.doi.org/10.1007/978-3-642-25929-6_8.

BARNAT, Jiří, Ivana ČERNÁ a Jana TŮMOVÁ. Verification of Systems with Degradation. Computing and Informatics. 2012, roč. 31, č. 3, s. 507-530. ISSN 1335-9150.

SMITH, Stephen L., Jana TŮMOVÁ, Calin BELTA a Daniela RUS. Optimal path planning for surveillance with temporal logic constraints. The International Journal of Robotics Research. 2011, vol. 30, no. 14, s. 1695-1708. ISSN 0278-3649. Dostupné z: https://dx.doi.org/10.1177/0278364911417911.

TŮMOVÁ, Jana, Boyan YORDANOV, Calin BELTA, Ivana ČERNÁ a Jiří BARNAT. A Symbolic Approach to Controlling Piecewise Affine Systems. In Proceedings of of the 49th IEEE Conference on Decision and Control (CDC). Neuveden: Omnipress for IEEE Control Systems Society, 2010, s. 4230-4235. ISBN 978-1-4244-7744-9.

YORDANOV, Boyan, Jana TŮMOVÁ, Calin BELTA, Ivana ČERNÁ a Jiří BARNAT. Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement. In Proceedings of of the 49th IEEE Conference on Decision and Control (CDC). Neuveden: Omnipress for IEEE Control Systems Society, 2010, s. 5899-5904. ISBN 978-1-4244-7744-9.

SMITH, Stephen L., Jana TŮMOVÁ, Calin BELTA a Daniela RUS. Optimal Path Planning under Temporal Logic Contstraints. In Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010). Neuveden: IEEE, 2010, s. 3288-3293. ISBN 978-1-4244-6675-7.

APPL, Jiří, Jiří BARNAT, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE 2.0. 2010.

BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. Local Quantitative LTL Model Checking. In Formal Methods for Industrial Critical Systems. Neuveden: Springer Berlin / Heidelberg, 2009, s. 53-68. ISBN 978-3-642-03239-4. Dostupné z: https://dx.doi.org/10.1007/978-3-642-03240-0_8.

BARNAT, Jiří, Ivana ČERNÁ a Jana TŮMOVÁ. Quantitative Model Checking of Systems with Degradation. In 2009 Sixth International Conference on the Quantitative Evaluation of Systems. Los Alamitos (California): IEEE Computer Society, 2009, s. 21-30. ISBN 978-0-7695-3808-2.

BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. Local Quantitative LTL Model Checking. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008). L'Aquilla: ERCIM, 2008, s. 63-78. ISBN 978-3-642-03239-4.

BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE-MC. 2008.

BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. In QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems. Washington, DC, USA: IEEE Computer Society, 2008, s. 77-78. ISBN 978-0-7695-3360-5.

BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE. 2007.

BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE: A Parallel Qualitative LTL Model Checker. In Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07). United States of America: IEEE Computer Society, 2007, s. 215-216. ISBN 0-7695-2883-X.

BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. Distributed Qualitative LTL Model Checking of Markov Decision Processes. In Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation. Bonn, Germany: University of Bonn, 2006, s. 1-15. ISSN 1571-0661.