Jana Tumova - RankMe

149 papers A* 17A 10B 2C 10Journal 64Unranked 44

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Case for Causal Reinforcement Learning in Longitudinal Vehicle Control. ICAART (3) Jule Schmidt, Xin Tao, Chelsea Sidrane, Swarup Kumar Mohalik, Akhil Prasad, Jana Tumova, Nils Jansen
2026	—	`conf`	Diffusion Models for Constrained Planning with Probabilistic Risk-Awareness Guarantees. ICAART (3) Albin Larsson Forsberg, Kenneth Lau, Alexandros Nikou, Aneta Vulgarakis Feljan, Jana Tumova
2026	—	`conf`	Learning Long-Horizon Multi-Agent Coordination from Temporal Logic Specifications. ICAART (1) Albin Larsson Forsberg, Alexandros Nikou, Aneta Vulgarakis, Jana Tumova
2026	J	`jnl`	Learning to Localize Reference Trajectories in Image-Space for Visual Navigation. CoRR Finn Lukas Busch, Matti Vahs, Quantao Yang, Jesús Ortega-Peimbert, Yixi Cai, Jana Tumova, Olov Andersson
2026	J	`jnl`	Marinarium: a New Arena to Bring Maritime Robotics Closer to Shore. CoRR Ignacio Torroba, David Dorner, Victor Nan Fernandez-Ayala, Mart Kartasev, Joris Verhagen, Elias Krantz, Gregorio Marchesini, Carl Ljung, Pedro Roque, Chelsea Sidrane, Linda F. van der Spaa, Nicola De Carli, Petter Ögren, Christer Fuglesang, Jana Tumova, Dimos V. Dimarogonas, Ivan Stenius
2026	J	`jnl`	Parameter-Robust MPPI for Safe Online Learning of Unknown Parameters. CoRR Matti Vahs, Jaeyoun Choi, Niklas Schmid, Jana Tumova, Chuchu Fan
2026	J	`jnl`	Parameter-Robust MPPI for Safe Online Learning of Unknown Parameters. IEEE Robotics Autom. Lett. Matti Vahs, Jaeyoun Choi, Niklas Schmid, Jana Tumova, Chuchu Fan
2026	J	`jnl`	Reinforcement learning for real-time adaptive radiotherapy. Artif. Intell. Medicine Kenneth Lau, Jana Tumova, David Broman, Alexis Linard, David Tilly, Nina Tilly, Henrik Rehbinder, Peter Kimstrand
2026	J	`jnl`	Safety-critical Control Under Partial Observability: Reach-Avoid POMDP meets Belief Space Control. CoRR Matti Vahs, Joris Verhagen, Jana Tumova
2026	J	`jnl`	Validation of Space Robotics in Underwater Environments via Disturbance Robustness Equivalency. CoRR Joris Verhagen, Elias Krantz, Chelsea Sidrane, David Dorner, Nicola De Carli, Pedro Roque, Huina Mao, Gunnar Tibert, Ivan Stenius, Christer Fuglesang, Dimos V. Dimarogonas, Jana Tumova
2025	J	`jnl`	BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems. CoRR Chelsea Sidrane, Jana Tumova
2025	A	`conf`	CageCoOpt: Enhancing Manipulation Robustness through Caging-Guided Morphology and Policy Co-Optimization. IROS Yifei Dong, Shaohang Han, Xianyi Cheng, Werner Friedl, Rafael I. Cabral Muchacho, Máximo A. Roa, Jana Tumova, Florian T. Pokorny
2025	J	`jnl`	Collaborative Object Transportation in Space via Impact Interactions. CoRR Joris Verhagen, Jana Tumova
2025	A*	`conf`	Efficient Non-Myopic Layered Bayesian Optimization for Large-Scale Bathymetric Informative Path Planning. ICRA Alexander Kiessling, Ignacio Torroba, Chelsea Sidrane, Ivan Stenius, Jana Tumova, John Folkesson
2025	J	`jnl`	Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications. CoRR Shaohang Han, Joris Verhagen, Jana Tumova
2025	—	`conf`	Finding Control Invariant Sets via Lipschitz Constants of Linear Programs. ECC Matti Vahs, Shaohang Han, Jana Tumova
2025	A*	`conf`	Forward Invariance in Trajectory Spaces for Safety-Critical Control. ICRA Matti Vahs, Rafael I. Cabral Muchacho, Florian T. Pokorny, Jana Tumova
2025	J	`jnl`	Guest Editorial Special Issue on Intelligent Decision-Making, Motion Planning, and Control of Automated Vehicles in Interaction-Driven Traffic Scenarios. IEEE Trans. Control. Syst. Technol. Alexander Katriniok, Emilia Silvas, Francesco Borrelli, Mario Zanon, Jana Tumova, Saverio Bolognani, Yuxiao Chen
2025	J	`jnl`	Optimal On-the-Fly Route Planning With Rich Transportation Requests. IEEE Trans. Robotics Cristian-Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus
2025	J	`jnl`	Pedestrian-Aware Motion Planning for Autonomous Driving in Complex Urban Scenarios. CoRR Korbinian Möller, Truls Nyberg, Jana Tumova, Johannes Betz
2025	—	`conf`	Risk-Aware Robot Control in Dynamic Environments Using Belief Control Barrier Functions. CDC Shaohang Han, Matti Vahs, Jana Tumova
2025	J	`jnl`	Risk-Aware Robot Control in Dynamic Environments Using Belief Control Barrier Functions. CoRR Shaohang Han, Matti Vahs, Jana Tumova
2025	J	`jnl`	Share the Unseen: Sequential Reasoning About Occlusions Using Vehicle-to-Everything Technology. IEEE Trans. Control. Syst. Technol. Truls Nyberg, José Manuel Gaspar Sánchez, Vandana Narri, Henrik Pettersson, Jonas Mårtensson, Karl Henrik Johansson, Martin Törngren, Jana Tumova
2025	C	`conf`	TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems. ACC Chelsea Sidrane, Jana Tumova
2025	A*	`conf`	Take a Chance on Me: How Robot Performance and Risk Behaviour Affects Trust and Risk-Taking. HRI Rebecca Stower, Anna Gautier, Maciej K. Wozniak, Patric Jensfelt, Jana Tumova, Iolanda Leite
2025	—	`conf`	Temporal Intent-Aware Multi-agent Learning for Network Optimization. SAFECOMP (Workshops) Albin Larsson Forsberg, Alexandros Nikou, Aneta Vulgarakis Feljan, Jana Tumova
2025	B	`conf`	The Need for (Robot) Speed: Offloading Heavy Computations Improves Response Time and User Experience in Spoken Interactions. RO-MAN Ermanno Bartoli, Rebecca Stower, Hanna Werner, Bryan Donyanvard, Jana Tumova, Iolanda Leite
2025	J	`jnl`	Towards Open-Source and Modular Space Systems with ATMOS. CoRR Pedro Roque, Sujet Phodapol, Elias Krantz, Jaeyoung Lim, Joris Verhagen, Frank Jiang, David Dorner, Roland Siegwart, Ivan Stenius, Gunnar Tibert, Huina Mao, Jana Tumova, Christer Fuglesang, Dimos V. Dimarogonas
2024	J	`jnl`	Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy (Dagstuhl Seminar 24361). Dagstuhl Reports Nils Jansen, Mykel J. Kochenderfer, Jan Kretínský, Jana Tumova, Maris F. L. Galesloot
2024	J	`jnl`	Co-Designing Tools and Control Policies for Robust Manipulation. CoRR Yifei Dong, Shaohang Han, Xianyi Cheng, Werner Friedl, Rafael I. Cabral Muchacho, Máximo A. Roa, Jana Tumova, Florian T. Pokorny
2024	J	`jnl`	Efficient Non-Myopic Layered Bayesian Optimization For Large-Scale Bathymetric Informative Path Planning. CoRR Alexander Kiessling, Ignacio Torroba, Chelsea Sidrane, Ivan Stenius, Jana Tumova, John Folkesson
2024	J	`jnl`	Finding Control Invariant Sets via Lipschitz Constants of Linear Programs. CoRR Matti Vahs, Shaohang Han, Jana Tumova
2024	J	`jnl`	Forward Invariance in Trajectory Spaces for Safety-critical Control. CoRR Matti Vahs, Rafael I. Cabral Muchacho, Florian T. Pokorny, Jana Tumova
2024	A*	`conf`	Highway-Driving with Safe Velocity Bounds on Occluded Traffic. ICRA Truls Nyberg, Jonne van Haastregt, Jana Tumova
2024	J	`jnl`	Multi-agent transformer-accelerated RL for satisfaction of STL specifications. CoRR Albin Larsson Forsberg, Alexandros Nikou, Aneta Vulgarakis Feljan, Jana Tumova
2024	A*	`conf`	Non-Axiomatic Reasoning for an Autonomous Mobile Robot. ICRA Patrick Hammer, Peter Isaev, Lei Feng, Robert Johansson, Jana Tumova
2024	—	`conf`	Non-Smooth Control Barrier Functions for Stochastic Dynamical Systems. ECC Matti Vahs, Jana Tumova
2024	A*	`conf`	Risk-aware Control for Robots with Non-Gaussian Belief Spaces. ICRA Matti Vahs, Jana Tumova
2024	A*	`conf`	Robust Active Measuring under Model Uncertainty. AAAI Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen
2024	A*	`conf`	Robust MITL planning under uncertain navigation times. ICRA Alexis Linard, Anna Gautier, Daniel Duberg, Jana Tumova
2024	J	`jnl`	Robust MITL planning under uncertain navigation times. CoRR Alexis Linard, Anna Gautier, Daniel Duberg, Jana Tumova
2024	—	`conf`	Robust STL Control Synthesis under Maximal Disturbance Sets. CDC Joris Verhagen, Lars Lindemann, Jana Tumova
2024	J	`jnl`	Robust STL Control Synthesis under Maximal Disturbance Sets. CoRR Joris Verhagen, Lars Lindemann, Jana Tumova
2024	J	`jnl`	TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems. CoRR Chelsea Sidrane, Jana Tumova
2024	C	`conf`	Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. ACC Joris Verhagen, Lars Lindemann, Jana Tumova
2024	J	`jnl`	Transitional Grid Maps: Efficient Analytical Inference of Dynamic Environments under Limited Sensing. CoRR José Manuel Gaspar Sánchez, Leonard Bruns, Jana Tumova, Patric Jensfelt, Martin Törngren
2023	A*	`conf`	Aligning Human Preferences with Baseline Objectives in Reinforcement Learning. ICRA Daniel Marta, Simon Holk, Christian Pek, Jana Tumova, Iolanda Leite
2023	J	`jnl`	Belief Control Barrier Functions for Risk-Aware Control. IEEE Robotics Autom. Lett. Matti Vahs, Christian Pek, Jana Tumova
2023	J	`jnl`	Belief Control Barrier Functions for Risk-aware Control. CoRR Matti Vahs, Christian Pek, Jana Tumova
2023	—	`conf`	Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints. MED Wei Wang, Georg Friedrich Schuppe, Jana Tumova
2023	—	`conf`	Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop. Robotics: Science and Systems Georg Friedrich Schuppe, Ilaria Torre, Iolanda Leite, Jana Tumova
2023	A	`conf`	Generating Scenarios from High-Level Specifications for Object Rearrangement Tasks. IROS Sanne van Waveren, Christian Pek, Iolanda Leite, Jana Tumova, Danica Kragic
2023	—	`conf`	Network Parameter Control in Cellular Networks through Graph-Based Multi-Agent Constrained Reinforcement Learning. CASE Albin Larsson Forsberg, Alexandros Nikou, Aneta Vulgarakis Feljan, Jana Tumova
2023	J	`jnl`	Non-smooth Control Barrier Functions for Stochastic Dynamical Systems. CoRR Matti Vahs, Jana Tumova
2023	A	`conf`	Real-Time RRT IROS Alexis Linard, Ilaria Torre, Ermanno Bartoli, Alex Sleat, Iolanda Leite, Jana Tumova
2023	J	`jnl`	Risk-aware Control for Robots with Non-Gaussian Belief Spaces. CoRR Matti Vahs, Jana Tumova
2023	A*	`conf`	Risk-aware Spatio-temporal Logic Planning in Gaussian Belief Spaces. ICRA Matti Vahs, Christian Pek, Jana Tumova
2023	J	`jnl`	Robust Active Measuring under Model Uncertainty. CoRR Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen
2023	J	`jnl`	Safe Data-Driven Model Predictive Control of Systems With Complex Dynamics. IEEE Trans. Robotics Ioanna Mitsioni, Pouria Tajvar, Danica Kragic, Jana Tumova, Christian Pek
2023	J	`jnl`	SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications. Auton. Robots Christian Pek, Georg Friedrich Schuppe, Francesco Esposito, Jana Tumova, Danica Kragic
2023	J	`jnl`	Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. CoRR Joris Verhagen, Lars Lindemann, Jana Tumova
2023	A	`conf`	VARIQuery: VAE Segment-Based Active Learning for Query Selection in Preference-Based Reinforcement Learning. IROS Daniel Marta, Simon Holk, Christian Pek, Jana Tumova, Iolanda Leite
2022	A*	`conf`	Correct Me If I'm Wrong: Using Non-Experts to Repair Reinforcement Learning Policies. HRI Sanne van Waveren, Christian Pek, Jana Tumova, Iolanda Leite
2022	—	`conf`	Decentralized Multi-agent Coordination under MITL Tasks and Communication Constraints. ICCPS Wei Wang, Georg Friedrich Schuppe, Jana Tumova
2022	—	`conf`	Evaluating Sequential Reasoning about Hidden Objects in Traffic. ICCPS Truls Nyberg, José Manuel Gaspar Sánchez, Christian Pek, Jana Tumova, Martin Törngren
2022	C	`conf`	Foresee the Unseen: Sequential Reasoning about Hidden Obstacles for Safe Driving. IV José Manuel Gaspar Sánchez, Truls Nyberg, Christian Pek, Jana Tumova, Martin Törngren
2022	J	`jnl`	Human-Feedback Shield Synthesis for Perceived Safety in Deep Reinforcement Learning. IEEE Robotics Autom. Lett. Daniel Marta, Christian Pek, Gaspar Isaac Melsión, Jana Tumova, Iolanda Leite
2022	A	`conf`	Inference of Multi-Class STL Specifications for Multi-Label Human-Robot Encounters. IROS Alexis Linard, Ilaria Torre, Iolanda Leite, Jana Tumova
2021	—	`conf`	Closed-loop incremental stability for efficient symbolic control of non-linear systems. ADHS Pouria Tajvar, Pierre-Jean Meyer, Jana Tumova
2021	J	`jnl`	Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks. IEEE Trans. Control. Syst. Technol. Lars Lindemann, Jakub Nowak, Lukas Schönbächler, Meng Guo, Jana Tumova, Dimos V. Dimarogonas
2021	—	`conf`	Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers. MRS Georg Friedrich Schuppe, Jana Tumova
2021	A*	`conf`	Encoding Human Driving Styles in Motion Planning for Autonomous Vehicles. ICRA Jesper Karlsson, Sanne van Waveren, Christian Pek, Ilaria Torre, Iolanda Leite, Jana Tumova
2021	—	`conf`	Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract). FORMATS Fernando S. Barbosa, Jesper Karlsson, Pouria Tajvar, Jana Tumova
2021	A	`conf`	Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference. IROS Alexis Linard, Ilaria Torre, Anders Steen, Iolanda Leite, Jana Tumova
2021	—	`conf`	Risk-Aware Motion Planning in Partially Known Environments. CDC Fernando S. Barbosa, Bruno Lacerda, Paul Duckworth, Jana Tumova, Nick Hawes
2021	J	`jnl`	Risk-Aware Motion Planning in Partially Known Environments. CoRR Fernando S. Barbosa, Bruno Lacerda, Paul Duckworth, Jana Tumova, Nick Hawes
2021	C	`conf`	Risk-aware Motion Planning for Autonomous Vehicles with Safety Specifications. IV Truls Nyberg, Christian Pek, Laura Dal Col, Christoffer Norén, Jana Tumova
2021	A	`conf`	Robust Feedback Motion Primitives for Exploration of Unknown Terrains. IROS Charles Chernik, Pouria Tajvar, Jana Tumova
2021	—	`conf`	Safe Data-Driven Contact-Rich Manipulation. HUMANOIDS Ioanna Mitsioni, Pouria Tajvar, Danica Kragic, Jana Tumova, Christian Pek
2021	—	`conf`	Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments. Robotics: Science and Systems Kush Grover, Fernando S. Barbosa, Jana Tumova, Jan Kretínský
2021	A*	`conf`	Should Robots Chicken?: How Anthropomorphism and Perceived Autonomy Influence Trajectories in a Game-theoretic Problem. HRI Ilaria Torre, Alexis Linard, Anders Steen, Jana Tumova, Iolanda Leite
2021	—	`conf`	When to Terminate: Path Non-existence Verification Improves Sampling-based Motion Planning. ICAR Jesper Karlsson, Anastasiia Varava, Cristian-Ioan Vasile, Sertac Karaman, Danica Kragic, Daniela Rus, Jana Tumova
2020	—	`conf`	Active Learning of Signal Temporal Logic Specifications. CASE Alexis Linard, Jana Tumova
2020	—	`conf`	Intention-aware motion planning with road rules. CASE Jesper Karlsson, Jana Tumova
2020	—	`conf`	Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition. CASE Georg Friedrich Schuppe, Jana Tumova
2020	A*	`conf`	Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes. AAAI Maxime Bouton, Jana Tumova, Mykel J. Kochenderfer
2020	J	`jnl`	Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes. CoRR Maxime Bouton, Jana Tumova, Mykel J. Kochenderfer
2020	—	`conf`	Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. CDC Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova
2020	J	`jnl`	Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. CoRR Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova
2020	—	`conf`	Safe Motion Planning for an Uncertain Non-Holonomic System with Temporal Logic Specification. CASE Pouria Tajvar, Fernando S. Barbosa, Jana Tumova
2019	J	`jnl`	Guiding Autonomous Exploration With Signal Temporal Logic. IEEE Robotics Autom. Lett. Fernando S. Barbosa, Daniel Duberg, Patric Jensfelt, Jana Tumova
2019	—	`conf`	Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications. ECC Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova
2019	J	`jnl`	Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving. CoRR Maxime Bouton, Jesper Karlsson, Alireza Nakhaei, Kikuo Fujimura, Mykel J. Kochenderfer, Jana Tumova
2019	C	`conf`	Robust Motion Planning for Non-holonomic Robots with Planar Geometric Constraints. ISRR Pouria Tajvar, Anastasiia Varava, Danica Kragic, Jana Tumova
2019	—	`conf`	Structured Synthesis for Probabilistic Systems. NFM Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu
2018	—	`conf`	Decentralized Dynamic Multi-Vehicle Routing via Fast Marching Method. ECC Jesper Karlsson, Jana Tumova
2018	A*	`conf`	Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand. ICRA Jesper Karlsson, Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Daniela Rus
2018	B	`conf`	Multi-robot LTL Planning Under Uncertainty. FM Claudio Menghi, Sergio García, Patrizio Pelliccione, Jana Tumova
2018	J	`jnl`	On the timed temporal logic planning of coupled multi-agent systems. Autom. Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
2018	J	`jnl`	Structured Synthesis for Probabilistic Systems. CoRR Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu
2018	—	`conf`	Towards multi-robot applications planning under uncertainty. ICSE (Companion Volume) Claudio Menghi, Sergio García, Patrizio Pelliccione, Jana Tumova
2017	C	`conf`	Cooperative planning for coupled multi-agent systems under timed temporal specifications. ACC Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
2017	—	`conf`	Engineering the software of robotic systems. ICSE (Companion Volume) Federico Ciccozzi, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Jana Tumova
2017	A*	`conf`	Minimum-violation scLTL motion planning for mobility-on-demand. ICRA Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus
2017	J	`jnl`	On the Timed Temporal Logic Planning of Coupled Multi-Agent Systems. CoRR Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
2017	J	`jnl`	Probabilistic Plan Synthesis for Coupled Multi-Agent Systems. CoRR Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas
2017	—	`ed.`	Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. FESCA@ETAPS Jan Kofron, Jana Tumova
2016	J	`jnl`	Communication-Free Multi-Agent Control Under Local Temporal Tasks and Relative-Distance Constraints. IEEE Trans. Autom. Control. Meng Guo, Jana Tumova, Dimos V. Dimarogonas
2016	J	`jnl`	Cooperative Planning for Coupled Multi-Agent Systems under Timed Temporal Specifications. CoRR Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
2016	C	`conf`	Cooperative task planning of multi-agent systems under timed temporal specifications. ACC Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas
2016	J	`jnl`	Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL Specifications. CoRR Jana Tumova, Dimos V. Dimarogonas
2016	—	`conf`	Least-Violating Planning in Road Networks from Temporal Logic Specifications. ICCPS Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus
2016	J	`jnl`	Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization. CoRR Jana Tumova, Dimos V. Dimarogonas
2016	J	`jnl`	Multi-agent planning under local LTL specifications and event-based synchronization. Autom. Jana Tumova, Dimos V. Dimarogonas
2016	—	`ed.`	Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. FESCA@ETAPS Jan Kofron, Jana Tumova, Bara Buhnova
2016	—	`conf`	Synthesizing least-limiting guidelines for safety of semi-autonomous systems. CDC Jana Tumova, Dimos V. Dimarogonas
2015	J	`jnl`	Cooperative Task Planning of Multi-Agent Systems Under Timed Temporal Specifications. CoRR Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas
2015	A	`conf`	Decentralized leader-follower control under high level goals without explicit communication. IROS Anastasios Tsiamis, Jana Tumova, Charalampos P. Bechlioulis, George C. Karras, Dimos V. Dimarogonas, Kostas J. Kyriakopoulos
2015	—	`conf`	Decomposition of multi-agent planning under distributed motion and task LTL specifications. CDC Jana Tumova, Dimos V. Dimarogonas
2015	—	`conf`	Hybrid control of multi-agent systems under local temporal tasks and relative-distance constraints. CDC Meng Guo, Jana Tumova, Dimos V. Dimarogonas
2015	J	`jnl`	Synthesizing least-limiting guidelines for safety of semi-autonomous systems. CoRR Jana Tumova, Dimos V. Dimarogonas
2014	J	`jnl`	A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specifications. CoRR Jana Tumova, Dimos V. Dimarogonas
2014	C	`conf`	A receding horizon approach to multi-agent planning from local LTL specifications. ACC Jana Tumova, Dimos V. Dimarogonas
2014	J	`jnl`	Communication-Free Multi-Agent Control under Local Temporal Tasks and Relative-Distance Constraints. CoRR Meng Guo, Jana Tumova, Dimos V. Dimarogonas
2014	J	`jnl`	Cooperative Decentralized Multi-agent Control under Local LTL Tasks and Connectivity Constraints. CoRR Meng Guo, Jana Tumova, Dimos V. Dimarogonas
2014	—	`conf`	Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints. CDC Meng Guo, Jana Tumova, Dimos V. Dimarogonas
2014	A	`conf`	Maximally satisfying LTL action planning. IROS Jana Tumova, Alejandro Marzinotto, Dimos V. Dimarogonas, Danica Kragic
2013	J	`jnl`	Formal analysis of piecewise affine systems through formula-guided refinement. Autom. Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta
2013	J	`jnl`	Incremental Sampling-based Algorithm for Minimum-violation Motion Planning CoRR Luis I. Reyes Castro, Pratik Chaudhari, Jana Tumova, Sertac Karaman, Emilio Frazzoli, Daniela Rus
2013	—	`conf`	Incremental sampling-based algorithm for minimum-violation motion planning. CDC Luis I. Reyes Castro, Pratik Chaudhari, Jana Tumova, Sertac Karaman, Emilio Frazzoli, Daniela Rus
2013	—	`conf`	Least-violating control strategy synthesis with safety rules. HSCC Jana Tumova, Gavin C. Hall, Sertac Karaman, Emilio Frazzoli, Daniela Rus
2013	J	`jnl`	Minimum-violation LTL Planning with Conflicting Specifications CoRR Jana Tumova, Luis I. Reyes Castro, Sertac Karaman, Emilio Frazzoli, Daniela Rus
2013	C	`conf`	Minimum-violation LTL planning with conflicting specifications. ACC Jana Tumova, Luis I. Reyes Castro, Sertac Karaman, Emilio Frazzoli, Daniela Rus
2013	J	`jnl`	Temporal logic robot control based on automata learning of environmental dynamics. Int. J. Robotics Res. Yushan Chen, Jana Tumova, Alphan Ulusoy, Calin Belta
2012	J	`jnl`	Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints CoRR María Svorenová, Jana Tumova, Jiri Barnat, Ivana Cerna
2012	—	`conf`	Attraction-based receding horizon path planning with temporal logic constraints. CDC María Svorenová, Jana Tumova, Jiri Barnat, Ivana Cerna
2012	A*	`conf`	LTL robot motion control based on automata learning of environmental dynamics. ICRA Yushan Chen, Jana Tumova, Calin Belta
2012	J	`jnl`	Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Trans. Autom. Control. Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta
2012	J	`jnl`	Verification of Systems with Degradation. Comput. Informatics Jiri Barnat, Ivana Cerná, Jana Tumova
2011	J	`jnl`	Optimal path planning for surveillance with temporal-logic constraints. Int. J. Robotics Res. Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus
2011	—	`conf`	Timed Automata Approach to Verification of Systems with Degradation. MEMICS Jiri Barnat, Ivana Cerná, Jana Tumova
2010	—	`conf`	A symbolic approach to controlling piecewise affine systems. CDC Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat
2010	—	`conf`	Formal analysis of piecewise affine systems through formula-guided refinement. CDC Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat
2010	J	`jnl`	Optimal Path Planning under Temporal Logic Constraints CoRR Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus
2010	A	`conf`	Optimal path planning under temporal logic constraints. IROS Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus
2009	—	`conf`	Quantitative Model Checking of Systems with Degradation. QEST Jiri Barnat, Ivana Cerná, Jana Tumova
2008	C	`conf`	Local Quantitative LTL Model Checking. FMICS Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
2008	—	`conf`	ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
2007	—	`conf`	ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova