ProbDiVinE: A Parallel Qualitative LTL Model Checker. - Jiri Barnat; Lubos Brim; Ivana Cerná; Milan Ceska 002; Jana Tumova (QEST, 2007)

Local Quantitative LTL Model Checking. - Jiri Barnat; Lubos Brim; Ivana Cerná; Milan Ceska 002; Jana Tumova (FMICS, 2008)

ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. - Jiri Barnat; Lubos Brim; Ivana Cerná; Milan Ceska 002; Jana Tumova (QEST, 2008)

Quantitative Model Checking of Systems with Degradation. - Jiri Barnat; Ivana Cerná; Jana Tumova (QEST, 2009)

A symbolic approach to controlling piecewise affine systems. - Jana Tumova; Boyan Yordanov; Calin Belta; Ivana Cerna; Jiri Barnat (CDC, 2010)

Formal analysis of piecewise affine systems through formula-guided refinement. - Boyan Yordanov; Jana Tumova; Calin Belta; Ivana Cerna; Jiri Barnat (CDC, 2010)

Optimal path planning under temporal logic constraints. - Stephen L. Smith 001; Jana Tumova; Calin Belta; Daniela Rus (IROS, 2010)

Timed Automata Approach to Verification of Systems with Degradation. - Jiri Barnat; Ivana Cerná; Jana Tumova (MEMICS, 2011)

Optimal path planning for surveillance with temporal-logic constraints. - Stephen L. Smith 001; Jana Tumova; Calin Belta; Daniela Rus (Int. J. Robotics Res., 2011)

Attraction-based receding horizon path planning with temporal logic constraints. - María Svorenová; Jana Tumova; Jiri Barnat; Ivana Cerna (CDC, 2012)

LTL robot motion control based on automata learning of environmental dynamics. - Yushan Chen; Jana Tumova; Calin Belta (ICRA, 2012)

Verification of Systems with Degradation. - Jiri Barnat; Ivana Cerná; Jana Tumova (Comput. Informatics, 2012)

Temporal Logic Control of Discrete-Time Piecewise Affine Systems. - Boyan Yordanov; Jana Tumova; Ivana Cerna; Jiri Barnat; Calin Belta (IEEE Trans. Autom. Control., 2012)

Minimum-violation LTL planning with conflicting specifications. - Jana Tumova; Luis I. Reyes Castro; Sertac Karaman; Emilio Frazzoli; Daniela Rus (ACC, 2013)

Incremental sampling-based algorithm for minimum-violation motion planning. - Luis I. Reyes Castro; Pratik Chaudhari; Jana Tumova; Sertac Karaman; Emilio Frazzoli; Daniela Rus (CDC, 2013)

Least-violating control strategy synthesis with safety rules. - Jana Tumova; Gavin C. Hall; Sertac Karaman; Emilio Frazzoli; Daniela Rus (HSCC, 2013)

Temporal logic robot control based on automata learning of environmental dynamics. - Yushan Chen; Jana Tumova; Alphan Ulusoy; Calin Belta (Int. J. Robotics Res., 2013)

A receding horizon approach to multi-agent planning from local LTL specifications. - Jana Tumova; Dimos V. Dimarogonas (ACC, 2014)

Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints. - Meng Guo 002; Jana Tumova; Dimos V. Dimarogonas (CDC, 2014)

Maximally satisfying LTL action planning. - Jana Tumova; Alejandro Marzinotto; Dimos V. Dimarogonas; Danica Kragic (IROS, 2014)

Hybrid control of multi-agent systems under local temporal tasks and relative-distance constraints. - Meng Guo 002; Jana Tumova; Dimos V. Dimarogonas (CDC, 2015)

Decomposition of multi-agent planning under distributed motion and task LTL specifications. - Jana Tumova; Dimos V. Dimarogonas (CDC, 2015)

Decentralized leader-follower control under high level goals without explicit communication. - Anastasios Tsiamis; Jana Tumova; Charalampos P. Bechlioulis; George C. Karras; Dimos V. Dimarogonas; Kostas J. Kyriakopoulos (IROS, 2015)

Cooperative task planning of multi-agent systems under timed temporal specifications. - Alexandros Nikou; Jana Tumova; Dimos V. Dimarogonas (ACC, 2016)

Synthesizing least-limiting guidelines for safety of semi-autonomous systems. - Jana Tumova; Dimos V. Dimarogonas (CDC, 2016)

Least-Violating Planning in Road Networks from Temporal Logic Specifications. - Jana Tumova; Sertac Karaman; Calin Belta; Daniela Rus (ICCPS, 2016)

Multi-agent planning under local LTL specifications and event-based synchronization. - Jana Tumova; Dimos V. Dimarogonas (Autom., 2016)

Communication-Free Multi-Agent Control Under Local Temporal Tasks and Relative-Distance Constraints. - Meng Guo 002; Jana Tumova; Dimos V. Dimarogonas (IEEE Trans. Autom. Control., 2016)

Cooperative planning for coupled multi-agent systems under timed temporal specifications. - Alexandros Nikou; Dimitris Boskos; Jana Tumova; Dimos V. Dimarogonas (ACC, 2017)

Minimum-violation scLTL motion planning for mobility-on-demand. - Cristian Ioan Vasile; Jana Tumova; Sertac Karaman; Calin Belta; Daniela Rus (ICRA, 2017)

Engineering the software of robotic systems. - Federico Ciccozzi; Davide Di Ruscio; Ivano Malavolta; Patrizio Pelliccione; Jana Tumova (ICSE (Companion Volume), 2017)

Probabilistic Plan Synthesis for Coupled Multi-Agent Systems. - Alexandros Nikou; Jana Tumova; Dimos V. Dimarogonas (CoRR, 2017)

Decentralized Dynamic Multi-Vehicle Routing via Fast Marching Method. - Jesper Karlsson; Jana Tumova (ECC, 2018)

Multi-robot LTL Planning Under Uncertainty. - Claudio Menghi; Sergio García 002; Patrizio Pelliccione; Jana Tumova (FM, 2018)

Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand. - Jesper Karlsson; Cristian Ioan Vasile; Jana Tumova; Sertac Karaman; Daniela Rus (ICRA, 2018)

Towards multi-robot applications planning under uncertainty. - Claudio Menghi; Sergio García 002; Patrizio Pelliccione; Jana Tumova (ICSE (Companion Volume), 2018)

On the timed temporal logic planning of coupled multi-agent systems. - Alexandros Nikou; Dimitris Boskos; Jana Tumova; Dimos V. Dimarogonas (Autom., 2018)

Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications. - Fernando S. Barbosa; Lars Lindemann; Dimos V. Dimarogonas; Jana Tumova (ECC, 2019)

Robust Motion Planning for Non-holonomic Robots with Planar Geometric Constraints. - Pouria Tajvar; Anastasiia Varava; Danica Kragic; Jana Tumova (ISRR, 2019)

Structured Synthesis for Probabilistic Systems. - Nils Jansen 001; Laura R. Humphrey; Jana Tumova; Ufuk Topcu (NFM, 2019)

Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving. - Maxime Bouton; Jesper Karlsson; Alireza Nakhaei; Kikuo Fujimura; Mykel J. Kochenderfer; Jana Tumova (CoRR, 2019)

Guiding Autonomous Exploration With Signal Temporal Logic. - Fernando S. Barbosa; Daniel Duberg; Patric Jensfelt; Jana Tumova (IEEE Robotics Autom. Lett., 2019)

Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes. - Maxime Bouton; Jana Tumova; Mykel J. Kochenderfer (AAAI, 2020)

Intention-aware motion planning with road rules. - Jesper Karlsson; Jana Tumova (CASE, 2020)

Active Learning of Signal Temporal Logic Specifications. - Alexis Linard; Jana Tumova (CASE, 2020)

Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition. - Georg Friedrich Schuppe; Jana Tumova (CASE, 2020)

Safe Motion Planning for an Uncertain Non-Holonomic System with Temporal Logic Specification. - Pouria Tajvar; Fernando S. Barbosa; Jana Tumova (CASE, 2020)

Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. - Fernando S. Barbosa; Lars Lindemann; Dimos V. Dimarogonas; Jana Tumova (CDC, 2020)

Closed-loop incremental stability for efficient symbolic control of non-linear systems. - Pouria Tajvar; Pierre-Jean Meyer; Jana Tumova (ADHS, 2021)

Risk-Aware Motion Planning in Partially Known Environments. - Fernando S. Barbosa; Bruno Lacerda; Paul Duckworth; Jana Tumova; Nick Hawes (CDC, 2021)

Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract). - Fernando S. Barbosa; Jesper Karlsson; Pouria Tajvar; Jana Tumova (FORMATS, 2021)

Should Robots Chicken?: How Anthropomorphism and Perceived Autonomy Influence Trajectories in a Game-theoretic Problem. - Ilaria Torre 002; Alexis Linard; Anders Steen; Jana Tumova; Iolanda Leite (HRI, 2021)

Safe Data-Driven Contact-Rich Manipulation. - Ioanna Mitsioni; Pouria Tajvar; Danica Kragic; Jana Tumova; Christian Pek (HUMANOIDS, 2021)

When to Terminate: Path Non-existence Verification Improves Sampling-based Motion Planning. - Jesper Karlsson; Anastasiia Varava; Cristian-Ioan Vasile; Sertac Karaman; Danica Kragic; Daniela Rus; Jana Tumova (ICAR, 2021)

Encoding Human Driving Styles in Motion Planning for Autonomous Vehicles. - Jesper Karlsson; Sanne van Waveren; Christian Pek; Ilaria Torre 002; Iolanda Leite; Jana Tumova (ICRA, 2021)

Robust Feedback Motion Primitives for Exploration of Unknown Terrains. - Charles Chernik; Pouria Tajvar; Jana Tumova (IROS, 2021)

Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference. - Alexis Linard; Ilaria Torre 002; Anders Steen; Iolanda Leite; Jana Tumova (IROS, 2021)

Risk-aware Motion Planning for Autonomous Vehicles with Safety Specifications. - Truls Nyberg; Christian Pek; Laura Dal Col; Christoffer Norén; Jana Tumova (IV, 2021)

Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers. - Georg Friedrich Schuppe; Jana Tumova (MRS, 2021)

Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments. - Kush Grover; Fernando S. Barbosa; Jana Tumova; Jan Kretínský (Robotics: Science and Systems, 2021)

Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks. - Lars Lindemann; Jakub Nowak; Lukas Schönbächler; Meng Guo 002; Jana Tumova; Dimos V. Dimarogonas (IEEE Trans. Control. Syst. Technol., 2021)

Correct Me If I'm Wrong: Using Non-Experts to Repair Reinforcement Learning Policies. - Sanne van Waveren; Christian Pek; Jana Tumova; Iolanda Leite (HRI, 2022)

Evaluating Sequential Reasoning about Hidden Objects in Traffic. - Truls Nyberg; José Manuel Gaspar Sánchez; Christian Pek; Jana Tumova; Martin Törngren (ICCPS, 2022)

Decentralized Multi-agent Coordination under MITL Tasks and Communication Constraints. - Wei Wang; Georg Friedrich Schuppe; Jana Tumova (ICCPS, 2022)

Inference of Multi-Class STL Specifications for Multi-Label Human-Robot Encounters. - Alexis Linard; Ilaria Torre 002; Iolanda Leite; Jana Tumova (IROS, 2022)

Foresee the Unseen: Sequential Reasoning about Hidden Obstacles for Safe Driving. - José Manuel Gaspar Sánchez; Truls Nyberg; Christian Pek; Jana Tumova; Martin Törngren (IV, 2022)

Human-Feedback Shield Synthesis for Perceived Safety in Deep Reinforcement Learning. - Daniel Marta; Christian Pek; Gaspar Isaac Melsión; Jana Tumova; Iolanda Leite (IEEE Robotics Autom. Lett., 2022)

Network Parameter Control in Cellular Networks through Graph-Based Multi-Agent Constrained Reinforcement Learning. - Albin Larsson Forsberg; Alexandros Nikou; Aneta Vulgarakis Feljan; Jana Tumova (CASE, 2023)

Aligning Human Preferences with Baseline Objectives in Reinforcement Learning. - Daniel Marta; Simon Holk; Christian Pek; Jana Tumova; Iolanda Leite (ICRA, 2023)

Risk-aware Spatio-temporal Logic Planning in Gaussian Belief Spaces. - Matti Vahs; Christian Pek; Jana Tumova (ICRA, 2023)

Real-Time RRT* with Signal Temporal Logic Preferences. - Alexis Linard; Ilaria Torre 002; Ermanno Bartoli; Alex Sleat; Iolanda Leite; Jana Tumova (IROS, 2023)

VARIQuery: VAE Segment-Based Active Learning for Query Selection in Preference-Based Reinforcement Learning. - Daniel Marta; Simon Holk; Christian Pek; Jana Tumova; Iolanda Leite (IROS, 2023)

Generating Scenarios from High-Level Specifications for Object Rearrangement Tasks. - Sanne van Waveren; Christian Pek; Iolanda Leite; Jana Tumova; Danica Kragic (IROS, 2023)

Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints. - Wei Wang; Georg Friedrich Schuppe; Jana Tumova (MED, 2023)

Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop. - Georg Friedrich Schuppe; Ilaria Torre 001; Iolanda Leite; Jana Tumova (Robotics: Science and Systems, 2023)

Safe Data-Driven Model Predictive Control of Systems With Complex Dynamics. - Ioanna Mitsioni; Pouria Tajvar; Danica Kragic; Jana Tumova; Christian Pek (IEEE Trans. Robotics, 2023)

SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications. - Christian Pek; Georg Friedrich Schuppe; Francesco Esposito; Jana Tumova; Danica Kragic (Auton. Robots, 2023)

Belief Control Barrier Functions for Risk-Aware Control. - Matti Vahs; Christian Pek; Jana Tumova (IEEE Robotics Autom. Lett., 2023)

Robust Active Measuring under Model Uncertainty. - Merlijn Krale; Thiago D. Simão; Jana Tumova; Nils Jansen 001 (AAAI, 2024)

Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. - Joris Verhagen; Lars Lindemann; Jana Tumova (ACC, 2024)

Robust STL Control Synthesis under Maximal Disturbance Sets. - Joris Verhagen; Lars Lindemann; Jana Tumova (CDC, 2024)

Non-Smooth Control Barrier Functions for Stochastic Dynamical Systems. - Matti Vahs; Jana Tumova (ECC, 2024)

Non-Axiomatic Reasoning for an Autonomous Mobile Robot. - Patrick Hammer; Peter Isaev; Lei Feng; Robert Johansson; Jana Tumova (ICRA, 2024)

Robust MITL planning under uncertain navigation times. - Alexis Linard; Anna Gautier; Daniel Duberg; Jana Tumova (ICRA, 2024)

Highway-Driving with Safe Velocity Bounds on Occluded Traffic. - Truls Nyberg; Jonne van Haastregt; Jana Tumova (ICRA, 2024)

Risk-aware Control for Robots with Non-Gaussian Belief Spaces. - Matti Vahs; Jana Tumova (ICRA, 2024)

Transitional Grid Maps: Efficient Analytical Inference of Dynamic Environments under Limited Sensing. - José Manuel Gaspar Sánchez; Leonard Bruns; Jana Tumova; Patric Jensfelt; Martin Törngren (CoRR, 2024)

Multi-agent transformer-accelerated RL for satisfaction of STL specifications. - Albin Larsson Forsberg; Alexandros Nikou; Aneta Vulgarakis Feljan; Jana Tumova (CoRR, 2024)

Co-Designing Tools and Control Policies for Robust Manipulation. - Yifei Dong; Shaohang Han; Xianyi Cheng; Werner Friedl; Rafael I. Cabral Muchacho; Máximo A. Roa; Jana Tumova; Florian T. Pokorny (CoRR, 2024)

Finding Control Invariant Sets via Lipschitz Constants of Linear Programs. - Matti Vahs; Shaohang Han; Jana Tumova (CoRR, 2024)

Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy (Dagstuhl Seminar 24361). - Nils Jansen 001; Mykel J. Kochenderfer; Jan Kretínský; Jana Tumova; Maris F. L. Galesloot (Dagstuhl Reports, 2024)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems. - Chelsea Sidrane; Jana Tumova (ACC, 2025)

Take a Chance on Me: How Robot Performance and Risk Behaviour Affects Trust and Risk-Taking. - Rebecca Stower; Anna Gautier; Maciej K. Wozniak; Patric Jensfelt; Jana Tumova; Iolanda Leite (HRI, 2025)

Efficient Non-Myopic Layered Bayesian Optimization for Large-Scale Bathymetric Informative Path Planning. - Alexander Kiessling; Ignacio Torroba; Chelsea Sidrane; Ivan Stenius; Jana Tumova; John Folkesson (ICRA, 2025)

Forward Invariance in Trajectory Spaces for Safety-Critical Control. - Matti Vahs; Rafael I. Cabral Muchacho; Florian T. Pokorny; Jana Tumova (ICRA, 2025)

Temporal Intent-Aware Multi-agent Learning for Network Optimization. - Albin Larsson Forsberg; Alexandros Nikou; Aneta Vulgarakis Feljan; Jana Tumova (SAFECOMP (Workshops), 2025)

Optimal On-the-Fly Route Planning With Rich Transportation Requests. - Cristian-Ioan Vasile; Jana Tumova; Sertac Karaman; Calin Belta; Daniela Rus (IEEE Trans. Robotics, 2025)

Towards Open-Source and Modular Space Systems with ATMOS. - Pedro Roque; Sujet Phodapol; Elias Krantz; Jaeyoung Lim; Joris Verhagen; Frank Jiang 003; David Dorner; Roland Siegwart; Ivan Stenius; Gunnar Tibert; Huina Mao; Jana Tumova; et al. (CoRR, 2025)

Pedestrian-Aware Motion Planning for Autonomous Driving in Complex Urban Scenarios. - Korbinian Möller; Truls Nyberg; Jana Tumova; Johannes Betz (CoRR, 2025)

Risk-Aware Robot Control in Dynamic Environments Using Belief Control Barrier Functions. - Shaohang Han; Matti Vahs; Jana Tumova (CoRR, 2025)

Collaborative Object Transportation in Space via Impact Interactions. - Joris Verhagen; Jana Tumova (CoRR, 2025)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems. - Chelsea Sidrane; Jana Tumova (CoRR, 2025)

Guest Editorial Special Issue on Intelligent Decision-Making, Motion Planning, and Control of Automated Vehicles in Interaction-Driven Traffic Scenarios. - Alexander Katriniok; Emilia Silvas; Francesco Borrelli; Mario Zanon; Jana Tumova; Saverio Bolognani; Yuxiao Chen (IEEE Trans. Control. Syst. Technol., 2025)

Share the Unseen: Sequential Reasoning About Occlusions Using Vehicle-to-Everything Technology. - Truls Nyberg; José Manuel Gaspar Sánchez; Vandana Narri; Henrik Pettersson; Jonas Mårtensson 001; Karl Henrik Johansson; Martin Törngren; Jana Tumova (IEEE Trans. Control. Syst. Technol., 2025)