Jana Tumova

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 80

Top Venues

Publications

Joris Verhagen, Lars Lindemann, Jana Tumova
Robust STL Control Synthesis under Maximal Disturbance Sets. CoRR (2024)
Matti Vahs, Jana Tumova
Non-Smooth Control Barrier Functions for Stochastic Dynamical Systems. ECC (2024)
Alexis Linard, Anna Gautier, Daniel Duberg, Jana Tumova
Robust MITL planning under uncertain navigation times. ICRA (2024)
Chelsea Sidrane, Jana Tumova
TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems. CoRR (2024)
Alexis Linard, Anna Gautier, Daniel Duberg, Jana Tumova
Robust MITL planning under uncertain navigation times. CoRR (2024)
Truls Nyberg, Jonne van Haastregt, Jana Tumova
Highway-Driving with Safe Velocity Bounds on Occluded Traffic. ICRA (2024)
Patrick Hammer, Peter Isaev, Lei Feng, Robert Johansson, Jana Tumova
Non-Axiomatic Reasoning for an Autonomous Mobile Robot. ICRA (2024)
Albin Larsson Forsberg, Alexandros Nikou, Aneta Vulgarakis Feljan, Jana Tumova
Multi-agent transformer-accelerated RL for satisfaction of STL specifications. CoRR (2024)
Matti Vahs, Rafael I. Cabral Muchacho, Florian T. Pokorny, Jana Tumova
Forward Invariance in Trajectory Spaces for Safety-critical Control. CoRR (2024)
Matti Vahs, Jana Tumova
Risk-aware Control for Robots with Non-Gaussian Belief Spaces. ICRA (2024)
Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen
Robust Active Measuring under Model Uncertainty. AAAI (2024)
José Manuel Gaspar Sánchez, Leonard Bruns, Jana Tumova, Patric Jensfelt, Martin Törngren
Transitional Grid Maps: Efficient Analytical Inference of Dynamic Environments under Limited Sensing. CoRR (2024)
Wei Wang, Georg Friedrich Schuppe, Jana Tumova
Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints. MED (2023)
Joris Verhagen, Lars Lindemann, Jana Tumova
Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. CoRR (2023)
Matti Vahs, Christian Pek, Jana Tumova
Belief Control Barrier Functions for Risk-Aware Control. IEEE Robotics Autom. Lett. 8 (12) (2023)
Matti Vahs, Christian Pek, Jana Tumova
Belief Control Barrier Functions for Risk-aware Control. CoRR (2023)
Daniel Marta, Simon Holk, Christian Pek, Jana Tumova, Iolanda Leite
VARIQuery: VAE Segment-Based Active Learning for Query Selection in Preference-Based Reinforcement Learning. IROS (2023)
Daniel Marta, Simon Holk, Christian Pek, Jana Tumova, Iolanda Leite
Aligning Human Preferences with Baseline Objectives in Reinforcement Learning. ICRA (2023)
Matti Vahs, Jana Tumova
Non-smooth Control Barrier Functions for Stochastic Dynamical Systems. CoRR (2023)
Alexis Linard, Ilaria Torre, Ermanno Bartoli, Alex Sleat, Iolanda Leite, Jana Tumova
with Signal Temporal Logic Preferences. IROS (2023)
Christian Pek, Georg Friedrich Schuppe, Francesco Esposito, Jana Tumova, Danica Kragic
SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications. Auton. Robots 47 (8) (2023)
Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen
Robust Active Measuring under Model Uncertainty. CoRR (2023)
Albin Larsson Forsberg, Alexandros Nikou, Aneta Vulgarakis Feljan, Jana Tumova
Network Parameter Control in Cellular Networks through Graph-Based Multi-Agent Constrained Reinforcement Learning. CASE (2023)
Ioanna Mitsioni, Pouria Tajvar, Danica Kragic, Jana Tumova, Christian Pek
Safe Data-Driven Model Predictive Control of Systems With Complex Dynamics. IEEE Trans. Robotics 39 (4) (2023)
Georg Friedrich Schuppe, Ilaria Torre, Iolanda Leite, Jana Tumova
Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop. Robotics: Science and Systems (2023)
Matti Vahs, Jana Tumova
Risk-aware Control for Robots with Non-Gaussian Belief Spaces. CoRR (2023)
Sanne van Waveren, Christian Pek, Iolanda Leite, Jana Tumova, Danica Kragic
Generating Scenarios from High-Level Specifications for Object Rearrangement Tasks. IROS (2023)
Matti Vahs, Christian Pek, Jana Tumova
Risk-aware Spatio-temporal Logic Planning in Gaussian Belief Spaces. ICRA (2023)
José Manuel Gaspar Sánchez, Truls Nyberg, Christian Pek, Jana Tumova, Martin Törngren
Foresee the Unseen: Sequential Reasoning about Hidden Obstacles for Safe Driving. IV (2022)
Daniel Marta, Christian Pek, Gaspar Isaac Melsión, Jana Tumova, Iolanda Leite
Human-Feedback Shield Synthesis for Perceived Safety in Deep Reinforcement Learning. IEEE Robotics Autom. Lett. 7 (1) (2022)
Sanne van Waveren, Christian Pek, Jana Tumova, Iolanda Leite
Correct Me If I'm Wrong: Using Non-Experts to Repair Reinforcement Learning Policies. HRI (2022)
Truls Nyberg, José Manuel Gaspar Sánchez, Christian Pek, Jana Tumova, Martin Törngren
Evaluating Sequential Reasoning about Hidden Objects in Traffic. ICCPS (2022)
Wei Wang, Georg Friedrich Schuppe, Jana Tumova
Decentralized Multi-agent Coordination under MITL Tasks and Communication Constraints. ICCPS (2022)
Alexis Linard, Ilaria Torre, Iolanda Leite, Jana Tumova
Inference of Multi-Class STL Specifications for Multi-Label Human-Robot Encounters. IROS (2022)
Lars Lindemann, Jakub Nowak, Lukas Schönbächler, Meng Guo, Jana Tumova, Dimos V. Dimarogonas
Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks. IEEE Trans. Control. Syst. Technol. 29 (2) (2021)
Ilaria Torre, Alexis Linard, Anders Steen, Jana Tumova, Iolanda Leite
Should Robots Chicken?: How Anthropomorphism and Perceived Autonomy Influence Trajectories in a Game-theoretic Problem. HRI (2021)
Alexis Linard, Ilaria Torre, Anders Steen, Iolanda Leite, Jana Tumova
Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference. IROS (2021)
Ioanna Mitsioni, Pouria Tajvar, Danica Kragic, Jana Tumova, Christian Pek
Safe Data-Driven Contact-Rich Manipulation. HUMANOIDS (2021)
Fernando S. Barbosa, Jesper Karlsson, Pouria Tajvar, Jana Tumova
Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract). FORMATS (2021)
Jesper Karlsson, Anastasiia Varava, Cristian-Ioan Vasile, Sertac Karaman, Danica Kragic, Daniela Rus, Jana Tumova
When to Terminate: Path Non-existence Verification Improves Sampling-based Motion Planning. ICAR (2021)
Kush Grover, Fernando S. Barbosa, Jana Tumova, Jan Kretínský
Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments. Robotics: Science and Systems (2021)
Jesper Karlsson, Sanne van Waveren, Christian Pek, Ilaria Torre, Iolanda Leite, Jana Tumova
Encoding Human Driving Styles in Motion Planning for Autonomous Vehicles. ICRA (2021)
Fernando S. Barbosa, Bruno Lacerda, Paul Duckworth, Jana Tumova, Nick Hawes
Risk-Aware Motion Planning in Partially Known Environments. CDC (2021)
Truls Nyberg, Christian Pek, Laura Dal Col, Christoffer Norén, Jana Tumova
Risk-aware Motion Planning for Autonomous Vehicles with Safety Specifications. IV (2021)
Georg Friedrich Schuppe, Jana Tumova
Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers. MRS (2021)
Fernando S. Barbosa, Bruno Lacerda, Paul Duckworth, Jana Tumova, Nick Hawes
Risk-Aware Motion Planning in Partially Known Environments. CoRR (2021)
Pouria Tajvar, Pierre-Jean Meyer, Jana Tumova
Closed-loop incremental stability for efficient symbolic control of non-linear systems. ADHS (2021)
Charles Chernik, Pouria Tajvar, Jana Tumova
Robust Feedback Motion Primitives for Exploration of Unknown Terrains. IROS (2021)
Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova
Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. CDC (2020)
Pouria Tajvar, Fernando S. Barbosa, Jana Tumova
Safe Motion Planning for an Uncertain Non-Holonomic System with Temporal Logic Specification. CASE (2020)
Jesper Karlsson, Jana Tumova
Intention-aware motion planning with road rules. CASE (2020)
Georg Friedrich Schuppe, Jana Tumova
Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition. CASE (2020)
Maxime Bouton, Jana Tumova, Mykel J. Kochenderfer
Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes. CoRR (2020)
Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova
Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. CoRR (2020)
Maxime Bouton, Jana Tumova, Mykel J. Kochenderfer
Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes. AAAI (2020)
Alexis Linard, Jana Tumova
Active Learning of Signal Temporal Logic Specifications. CASE (2020)
Fernando S. Barbosa, Daniel Duberg, Patric Jensfelt, Jana Tumova
Guiding Autonomous Exploration With Signal Temporal Logic. IEEE Robotics Autom. Lett. 4 (4) (2019)
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu
Structured Synthesis for Probabilistic Systems. NFM (2019)
Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova
Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications. ECC (2019)
Pouria Tajvar, Anastasiia Varava, Danica Kragic, Jana Tumova
Robust Motion Planning for Non-holonomic Robots with Planar Geometric Constraints. ISRR (2019)
Maxime Bouton, Jesper Karlsson, Alireza Nakhaei, Kikuo Fujimura, Mykel J. Kochenderfer, Jana Tumova
Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving. CoRR (2019)
Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
On the timed temporal logic planning of coupled multi-agent systems. Autom. 97 (2018)
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu
Structured Synthesis for Probabilistic Systems. CoRR (2018)
Claudio Menghi, Sergio García, Patrizio Pelliccione, Jana Tumova
Multi-robot LTL Planning Under Uncertainty. FM (2018)
Jesper Karlsson, Jana Tumova
Decentralized Dynamic Multi-Vehicle Routing via Fast Marching Method. ECC (2018)
Claudio Menghi, Sergio García, Patrizio Pelliccione, Jana Tumova
Towards multi-robot applications planning under uncertainty. ICSE (Companion Volume) (2018)
Jesper Karlsson, Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Daniela Rus
Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand. ICRA (2018)
Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
On the Timed Temporal Logic Planning of Coupled Multi-Agent Systems. CoRR (2017)
Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus
Minimum-violation scLTL motion planning for mobility-on-demand. ICRA (2017)
Federico Ciccozzi, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Jana Tumova
Engineering the software of robotic systems. ICSE (Companion Volume) (2017)
Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
Cooperative planning for coupled multi-agent systems under timed temporal specifications. ACC (2017)
Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas
Probabilistic Plan Synthesis for Coupled Multi-Agent Systems. CoRR (2017)
Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus
Least-Violating Planning in Road Networks from Temporal Logic Specifications. ICCPS (2016)
Jana Tumova, Dimos V. Dimarogonas
Multi-agent planning under local LTL specifications and event-based synchronization. Autom. 70 (2016)
Jana Tumova, Dimos V. Dimarogonas
Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL Specifications. CoRR (2016)
Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas
Cooperative task planning of multi-agent systems under timed temporal specifications. ACC (2016)
Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
Cooperative Planning for Coupled Multi-Agent Systems under Timed Temporal Specifications. CoRR (2016)
Meng Guo, Jana Tumova, Dimos V. Dimarogonas
Communication-Free Multi-Agent Control Under Local Temporal Tasks and Relative-Distance Constraints. IEEE Trans. Autom. Control. 61 (12) (2016)
Jana Tumova, Dimos V. Dimarogonas
Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization. CoRR (2016)
Jana Tumova, Dimos V. Dimarogonas
Synthesizing least-limiting guidelines for safety of semi-autonomous systems. CDC (2016)
Anastasios Tsiamis, Jana Tumova, Charalampos P. Bechlioulis, George C. Karras, Dimos V. Dimarogonas, Kostas J. Kyriakopoulos
Decentralized leader-follower control under high level goals without explicit communication. IROS (2015)
Jana Tumova, Dimos V. Dimarogonas
Synthesizing least-limiting guidelines for safety of semi-autonomous systems. CoRR (2015)
Jana Tumova, Dimos V. Dimarogonas
Decomposition of multi-agent planning under distributed motion and task LTL specifications. CDC (2015)
Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas
Cooperative Task Planning of Multi-Agent Systems Under Timed Temporal Specifications. CoRR (2015)
Meng Guo, Jana Tumova, Dimos V. Dimarogonas
Hybrid control of multi-agent systems under local temporal tasks and relative-distance constraints. CDC (2015)
Jana Tumova, Dimos V. Dimarogonas
A receding horizon approach to multi-agent planning from local LTL specifications. ACC (2014)
Meng Guo, Jana Tumova, Dimos V. Dimarogonas
Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints. CDC (2014)
Jana Tumova, Dimos V. Dimarogonas
A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specifications. CoRR (2014)
Jana Tumova, Alejandro Marzinotto, Dimos V. Dimarogonas, Danica Kragic
Maximally satisfying LTL action planning. IROS (2014)
Meng Guo, Jana Tumova, Dimos V. Dimarogonas
Cooperative Decentralized Multi-agent Control under Local LTL Tasks and Connectivity Constraints. CoRR (2014)
Meng Guo, Jana Tumova, Dimos V. Dimarogonas
Communication-Free Multi-Agent Control under Local Temporal Tasks and Relative-Distance Constraints. CoRR (2014)
Luis I. Reyes Castro, Pratik Chaudhari, Jana Tumova, Sertac Karaman, Emilio Frazzoli, Daniela Rus
Incremental Sampling-based Algorithm for Minimum-violation Motion Planning CoRR (2013)
Jana Tumova, Luis I. Reyes Castro, Sertac Karaman, Emilio Frazzoli, Daniela Rus
Minimum-violation LTL planning with conflicting specifications. ACC (2013)
Jana Tumova, Gavin C. Hall, Sertac Karaman, Emilio Frazzoli, Daniela Rus
Least-violating control strategy synthesis with safety rules. HSCC (2013)
Yushan Chen, Jana Tumova, Alphan Ulusoy, Calin Belta
Temporal logic robot control based on automata learning of environmental dynamics. Int. J. Robotics Res. 32 (5) (2013)
Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta
Formal analysis of piecewise affine systems through formula-guided refinement. Autom. 49 (1) (2013)
Jana Tumova, Luis I. Reyes Castro, Sertac Karaman, Emilio Frazzoli, Daniela Rus
Minimum-violation LTL Planning with Conflicting Specifications CoRR (2013)
Luis I. Reyes Castro, Pratik Chaudhari, Jana Tumova, Sertac Karaman, Emilio Frazzoli, Daniela Rus
Incremental sampling-based algorithm for minimum-violation motion planning. CDC (2013)
Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta
Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Trans. Autom. Control. 57 (6) (2012)
María Svorenová, Jana Tumova, Jiri Barnat, Ivana Cerna
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints CoRR (2012)

Jana Tumova.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jana Tumova