Jana Tumova | Publications

Journals

  • Jana Tumova, Dimos V. Dimarogonas, “Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization,” Automatica, 2016, to appear.

  • Meng Guo, Jana Tumova, Dimos V. Dimarogonas, “Communication-Free Multi-Agent Control under Local Temporal Tasks and Relative-Distance Constraints,” IEEE Transactions on Automatic Control, 2016, to appear.

  • Yushan Chen, Jana Tumova, Alphan Ulusoy, Calin Belta, “Temporal Logic Robot Control Based on Automata Learning of Environmental Dynamics,” The International Journal of Robotics Research, vol. 32, no. 5, pp. 547-565, 2013.

  • Jiri Barnat, Ivana Cerna, Jana Tumova*, “Verification of Systems with Degradation,” Computing and Informatics, vol. 31, pp. 507-530, 2012.

  • Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta, “Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement,” Automatica, vol. 49, no. 1, pp. 261-266, 2012.

  • Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta, “ Temporal Logic Control of Discrete-Time Piecewise Affine Systems,” IEEE Transactions on Automatic Control, vol. 57, no. 6, pp. 1491-1504, 2012.

  • Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus, “Optimal Path Planning for Surveillance with Temporal Logic Constraints,” The International Journal of Robotics Research, vol. 30, no. 14, pp. 1695-1708, 2011.

Conferences

  • Jana Tumova, Sertac Karaman, Calin Belta, and Daniela Rus, “Least-violating planning in road networks from temporal logic specifications”, in International Conference on Cyber-Physical Systems, Vienna, Austria, 2016.

  • Alexandros Nikou, Jana Tumova, and Dimos V. Dimarogonas, “Coopertive Task Planning Synthesis for Multi-Agent Systems Under Timed Temporal Specifications”, in American Control Conference, Boston, MA, USA, 2016, to appear.

  • Jana Tumova and Dimos V. Dimarogonas, “Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL Specifications,” in IEEE Conference on Decision and Control, Osaka, Japan, 2015.

  • Meng Guo, Jana Tumova and Dimos V. Dimarogonas, “Hybrid Control of Multi-Agent Systems under Local Temporal Tasks and Relative-Distance Constraints,” in IEEE Conference on Decision and Control, Osaka, Japan, 2015.

  • Anastasios Tsiamis, Jana Tumova, Charalampos Bechlioulis, George Karras, Dimos V. Dimarogonas and Kostas J. Kyriakopoulos, “Decentralized Leader-Follower Control under High Level Goals without Explicit Communication,” in IEEE RSJ International Conference on Intelligent Robots and Systems, Hamburg, Germany, 2015.

  • Meng Guo, Jana Tumova, Dimos V. Dimarogonas, “Cooperative Decentralized Multi-Agent Control under Local LTL Tasks and Connectivity Constraints,” in IEEE Conference on Decision and Control, Los Angeles, CA, USA, 2014, pp. 75-80.

  • Jana Tumova, Alejandro Marzinotto, Dimos V. Dimarogonas, Danica Kragic, “Maximally Satisfying LTL Action Planning,” in IEEERSJ International Conference on Intelligent Robot and Systems/, Chicago, IL, 2014, pp. 1503-1510.

  • Jana Tumova, Dimos V. Dimarogonas, “A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specification,” in American Control Conference, Portland, OR, USA, 2014, pp. 1775-1780.

  • Luis I. Reyes-Castro, Pratik Chaudhari, Jana Tumova, Sertac Karaman, Emilio Frazzoli, Daniela Rus, “Incremental Sampling-Based Algorithm for Minimum-Violation Motion Planning,” in IEEE Conference on Decision and Control, Firenze, Italy, 2013, pp. 3217-3224.

  • Jana Tumova, Gavin C. Hall, Sertac Karaman, Emilio Frazzoli, Daniela Rus, “Least-Violating Control Strategy Synthesis with Safety Rules,” in Hybrid Systems: Computation and Control, Philadelphia, PA, USA, 2013, pp. 1-10.

  • Jana Tumova, Luis I. Reyes-Castro, Sertac Karaman, Emilio Frazzoli. Daniela Rus, “Minimum-Violating Planning with Conflicting Specifications,” in American Control Conference, Washington, DC, USA, 2013, pp. 200-205.

  • Maria Svorenova, Jana Tumova, Ivana Cerna, Jiri Barnat, “Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints,” in IEEE Conference on Decision and Control, Maui, HI, USA, 2012, pp. 6749-6754.

  • Yushan Chen, Jana Tumova, Calin Belta, “LTL Robot Motion Control based on Automata Learning of Environmental Dynamics,” in IEEE International Conference on Robotics and Automation, Saint Paul, MN, USA, 2012, pp. 5177-5182.

  • Jiri Barnat, Ivana Cerna, Jana Tumova*, “Timed Automata Approach to Verification of Systems with Degradation,” in Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Lednice, Czech Republic, 2011, pp. 84-93. Best paper award.

  • Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat, “A Symbolic Approach to Controlling Piecewise Affine Systems,” in IEEE Conference on Decision and Control, Atlanta, GA, USA, 2010, pp. 4230-4235.

  • Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat, “Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement,” in IEEE Conference on Decision and Control, Atlanta, GA, USA, 2010, pp. 5899-5904.

  • Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus, “Optimal Path Planning under Temporal Logic Constraints,” in IEEERSJ International Conference on Intelligent Robot and Systems/, Taipei, Taiwan, 2010, pp. 3288-3293.

  • Jiri Barnat, Ivana Cerna, Jana Tumova*, “Quantitative Model Checking of Systems with Degradation,” in International Conference on Quantitative Evaluation of SysTems, Budapest, Hungary, 2009, pp. 21-30.

  • Jiri Barnat, Lubos Brim, Ivana Cerna, Milan Ceska, Jana Tumova, “Local Quantitative LTL Model Checking,” in International Workshop on Formal Methods for Industrial Critical Systems, L'Aquila, Italy, 2008, pp. 53-68.

  • Jiri Barnat, Lubos Brim, Ivana Cerna, Milan Ceska, Jana Tumova, “ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems,” in International Conference on Quantitative Evaluation of SysTems, Saint-Malo, France, 2008, pp. 77-78.

  • Jiri Barnat, Lubos Brim, Ivana Cerna, Milan Ceska, Jana Tumova, “ProbDiVinE: A Parallel Qualitative LTL Model Checker,” in International Conference on Quantitative Evaluation of SysTems, Edinburgh, UK, 2007, pp. 215-216.



*The authors are ordered alphabetically; Jana Tumova is the lead author