default search action

combined dblp search
author search
venue search
publication search

ask others

Jana Tumova

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/arobots/PekSETK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/arobots/PekSETK23
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): 1439-1462 (2023)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/VahsPT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/VahsPT23
Matti Vahs, Christian Pek, Jana Tumova:
Belief Control Barrier Functions for Risk-Aware Control. IEEE Robotics Autom. Lett. 8(12): 8565-8572 (2023)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/trob/MitsioniTKTP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/trob/MitsioniTKTP23
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): 3242-3258 (2023)
2022
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/MartaPMTL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/MartaPMTL22
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): 406-413 (2022)
2021
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tcst/LindemannNSGTD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcst/LindemannNSGTD21
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): 858-865 (2021)
2019
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/BarbosaDJT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/BarbosaDJT19
Fernando S. Barbosa, Daniel Duberg, Patric Jensfelt, Jana Tumova:
Guiding Autonomous Exploration With Signal Temporal Logic. IEEE Robotics Autom. Lett. 4(4): 3332-3339 (2019)
2018
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/NikouBTD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/NikouBTD18
Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas:
On the timed temporal logic planning of coupled multi-agent systems. Autom. 97: 339-345 (2018)
2016
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/TumovaD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/TumovaD16
Jana Tumova, Dimos V. Dimarogonas:
Multi-agent planning under local LTL specifications and event-based synchronization. Autom. 70: 239-248 (2016)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/GuoTD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/GuoTD16
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): 3948-3962 (2016)
2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/YordanovTCBB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/YordanovTCBB13
Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta:
Formal analysis of piecewise affine systems through formula-guided refinement. Autom. 49(1): 261-266 (2013)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijrr/ChenTUB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijrr/ChenTUB13
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): 547-565 (2013)
2012
[j3]
- view
  - electronic edition @ cai.sk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/cai/BarnatCT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cai/BarnatCT12
Jiri Barnat, Ivana Cerná, Jana Tumova:
Verification of Systems with Degradation. Comput. Informatics 31(3): 507- (2012)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/YordanovTCBB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/YordanovTCBB12
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): 1491-1504 (2012)
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijrr/SmithTBR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijrr/SmithTBR11
Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus:
Optimal path planning for surveillance with temporal-logic constraints. Int. J. Robotics Res. 30(14): 1695-1708 (2011)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c70]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/KraleST024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KraleST024
Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen:
Robust Active Measuring under Model Uncertainty. AAAI 2024: 21276-21284
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/VerhagenLT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/VerhagenLT24
Joris Verhagen, Lars Lindemann, Jana Tumova:
Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. ACC 2024: 251-258
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/eucc/VahsT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eucc/VahsT24
Matti Vahs, Jana Tumova:
Non-Smooth Control Barrier Functions for Stochastic Dynamical Systems. ECC 2024: 2200-2205
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/LinardGDT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/LinardGDT24
Alexis Linard, Anna Gautier, Daniel Duberg, Jana Tumova:
Robust MITL planning under uncertain navigation times. ICRA 2024: 2498-2504
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/NybergHT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/NybergHT24
Truls Nyberg, Jonne van Haastregt, Jana Tumova:
Highway-Driving with Safe Velocity Bounds on Occluded Traffic. ICRA 2024: 6828-6835
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/VahsT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/VahsT24
Matti Vahs, Jana Tumova:
Risk-aware Control for Robots with Non-Gaussian Belief Spaces. ICRA 2024: 11661-11667
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/HammerIFJT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/HammerIFJT24
Patrick Hammer, Peter Isaev, Lei Feng, Robert Johansson, Jana Tumova:
Non-Axiomatic Reasoning for an Autonomous Mobile Robot. ICRA 2024: 17079-17085
2023
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/case/ForsbergNFT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/ForsbergNFT23
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: 1-7
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/MartaHPTL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/MartaHPTL23
Daniel Marta, Simon Holk, Christian Pek, Jana Tumova, Iolanda Leite:
Aligning Human Preferences with Baseline Objectives in Reinforcement Learning. ICRA 2023: 7562-7568
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/VahsPT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/VahsPT23
Matti Vahs, Christian Pek, Jana Tumova:
Risk-aware Spatio-temporal Logic Planning in Gaussian Belief Spaces. ICRA 2023: 7879-7885
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/MartaHPTL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/MartaHPTL23
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: 7878-7885
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/Linard0BSLT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/Linard0BSLT23
Alexis Linard, Ilaria Torre, Ermanno Bartoli, Alex Sleat, Iolanda Leite, Jana Tumova:
Real-Time RRT^* with Signal Temporal Logic Preferences. IROS 2023: 8621-8627
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/WaverenPLTK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/WaverenPLTK23
Sanne van Waveren, Christian Pek, Iolanda Leite, Jana Tumova, Danica Kragic:
Generating Scenarios from High-Level Specifications for Object Rearrangement Tasks. IROS 2023: 11420-11427
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/med/WangST23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/med/WangST23
Wei Wang, Georg Friedrich Schuppe, Jana Tumova:
Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints. MED 2023: 842-849
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/Schuppe0LT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/Schuppe0LT23
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
2022
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/hri/WaverenPTL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hri/WaverenPTL22
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: 493-501
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/NybergSPTT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/NybergSPTT22
Truls Nyberg, José Manuel Gaspar Sánchez, Christian Pek, Jana Tumova, Martin Törngren:
Evaluating Sequential Reasoning about Hidden Objects in Traffic. ICCPS 2022: 306-307
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/WangST22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/WangST22
Wei Wang, Georg Friedrich Schuppe, Jana Tumova:
Decentralized Multi-agent Coordination under MITL Tasks and Communication Constraints. ICCPS 2022: 320-321
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/Linard0LT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/Linard0LT22
Alexis Linard, Ilaria Torre, Iolanda Leite, Jana Tumova:
Inference of Multi-Class STL Specifications for Multi-Label Human-Robot Encounters. IROS 2022: 1305-1311
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/ivs/SanchezNPTT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ivs/SanchezNPTT22
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: 255-264
2021
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/TajvarMT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/TajvarMT21
Pouria Tajvar, Pierre-Jean Meyer, Jana Tumova:
Closed-loop incremental stability for efficient symbolic control of non-linear systems. ADHS 2021: 121-126
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/BarbosaLDTH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/BarbosaLDTH21
Fernando S. Barbosa, Bruno Lacerda, Paul Duckworth, Jana Tumova, Nick Hawes:
Risk-Aware Motion Planning in Partially Known Environments. CDC 2021: 5220-5226
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BarbosaKTT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BarbosaKTT21
Fernando S. Barbosa, Jesper Karlsson, Pouria Tajvar, Jana Tumova:
Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract). FORMATS 2021: 1-14
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/hri/TorreLSTL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hri/TorreLSTL21
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: 370-379
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/humanoids/MitsioniTKTP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/humanoids/MitsioniTKTP21
Ioanna Mitsioni, Pouria Tajvar, Danica Kragic, Jana Tumova, Christian Pek:
Safe Data-Driven Contact-Rich Manipulation. HUMANOIDS 2021: 120-127
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icar/KarlssonVVKKRT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icar/KarlssonVVKKRT21
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: 594-600
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/KarlssonWP0LT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/KarlssonWP0LT21
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: 1050-1056
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/ChernikTT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/ChernikTT21
Charles Chernik, Pouria Tajvar, Jana Tumova:
Robust Feedback Motion Primitives for Exploration of Unknown Terrains. IROS 2021: 8173-8179
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/Linard0SLT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/Linard0SLT21
Alexis Linard, Ilaria Torre, Anders Steen, Iolanda Leite, Jana Tumova:
Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference. IROS 2021: 9857-9862
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/ivs/NybergPCNT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ivs/NybergPCNT21
Truls Nyberg, Christian Pek, Laura Dal Col, Christoffer Norén, Jana Tumova:
Risk-aware Motion Planning for Autonomous Vehicles with Safety Specifications. IV 2021: 1016-1023
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/mrs/SchuppeT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mrs/SchuppeT21
Georg Friedrich Schuppe, Jana Tumova:
Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers. MRS 2021: 119-127
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/GroverBTK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/GroverBTK21
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
2020
[c38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BoutonTK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BoutonTK20
Maxime Bouton, Jana Tumova, Mykel J. Kochenderfer:
Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes. AAAI 2020: 10061-10068
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/case/TajvarBT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/TajvarBT20
Pouria Tajvar, Fernando S. Barbosa, Jana Tumova:
Safe Motion Planning for an Uncertain Non-Holonomic System with Temporal Logic Specification. CASE 2020: 349-354
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/case/KarlssonT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/KarlssonT20
Jesper Karlsson, Jana Tumova:
Intention-aware motion planning with road rules. CASE 2020: 526-532
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/case/SchuppeT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/SchuppeT20
Georg Friedrich Schuppe, Jana Tumova:
Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition. CASE 2020: 533-540
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/case/LinardT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/LinardT20
Alexis Linard, Jana Tumova:
Active Learning of Signal Temporal Logic Specifications. CASE 2020: 779-785
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/BarbosaLDT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/BarbosaLDT20
Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova:
Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. CDC 2020: 2056-2061
2019
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/eucc/BarbosaLDT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eucc/BarbosaLDT19
Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova:
Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications. ECC 2019: 2042-2049
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/isrr/TajvarVKT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isrr/TajvarVKT19
Pouria Tajvar, Anastasiia Varava, Danica Kragic, Jana Tumova:
Robust Motion Planning for Non-holonomic Robots with Planar Geometric Constraints. ISRR 2019: 850-866
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/0001HTT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/0001HTT19
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu:
Structured Synthesis for Probabilistic Systems. NFM 2019: 237-254
2018
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/eucc/KarlssonT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eucc/KarlssonT18
Jesper Karlsson, Jana Tumova:
Decentralized Dynamic Multi-Vehicle Routing via Fast Marching Method. ECC 2018: 739-745
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MenghiGPT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MenghiGPT18
Claudio Menghi, Sergio García, Patrizio Pelliccione, Jana Tumova:
Multi-robot LTL Planning Under Uncertainty. FM 2018: 399-417
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/KarlssonVTKR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/KarlssonVTKR18
Jesper Karlsson, Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Daniela Rus:
Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand. ICRA 2018: 7298-7305
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MenghiGPT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MenghiGPT18
Claudio Menghi, Sergio García, Patrizio Pelliccione, Jana Tumova:
Towards multi-robot applications planning under uncertainty. ICSE (Companion Volume) 2018: 438-439
2017
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/NikouBTD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/NikouBTD17
Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas:
Cooperative planning for coupled multi-agent systems under timed temporal specifications. ACC 2017: 1847-1852
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/VasileTKBR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/VasileTKBR17
Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus:
Minimum-violation scLTL motion planning for mobility-on-demand. ICRA 2017: 1481-1488
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CiccozziRMPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CiccozziRMPT17
Federico Ciccozzi, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Jana Tumova:
Engineering the software of robotic systems. ICSE (Companion Volume) 2017: 507-508
2016
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/NikouTD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/NikouTD16
Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas:
Cooperative task planning of multi-agent systems under timed temporal specifications. ACC 2016: 7104-7109
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/TumovaD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/TumovaD16
Jana Tumova, Dimos V. Dimarogonas:
Synthesizing least-limiting guidelines for safety of semi-autonomous systems. CDC 2016: 5714-5719
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/TumovaKBR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/TumovaKBR16
Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus:
Least-Violating Planning in Road Networks from Temporal Logic Specifications. ICCPS 2016: 17:1-17:9
2015
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/GuoTD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/GuoTD15
Meng Guo, Jana Tumova, Dimos V. Dimarogonas:
Hybrid control of multi-agent systems under local temporal tasks and relative-distance constraints. CDC 2015: 1701-1706
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/TumovaD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/TumovaD15
Jana Tumova, Dimos V. Dimarogonas:
Decomposition of multi-agent planning under distributed motion and task LTL specifications. CDC 2015: 7448-7453
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/TsiamisTBKDK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/TsiamisTBKDK15
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: 5790-5795
2014
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/TumovaD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/TumovaD14
Jana Tumova, Dimos V. Dimarogonas:
A receding horizon approach to multi-agent planning from local LTL specifications. ACC 2014: 1775-1780
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/GuoTD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/GuoTD14
Meng Guo, Jana Tumova, Dimos V. Dimarogonas:
Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints. CDC 2014: 75-80
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/TumovaMDK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/TumovaMDK14
Jana Tumova, Alejandro Marzinotto, Dimos V. Dimarogonas, Danica Kragic:
Maximally satisfying LTL action planning. IROS 2014: 1503-1510
2013
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/TumovaCKFR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/TumovaCKFR13
Jana Tumova, Luis I. Reyes Castro, Sertac Karaman, Emilio Frazzoli, Daniela Rus:
Minimum-violation LTL planning with conflicting specifications. ACC 2013: 200-205
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CastroCTKFR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CastroCTKFR13
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: 3217-3224
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/TumovaHKFR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/TumovaHKFR13
Jana Tumova, Gavin C. Hall, Sertac Karaman, Emilio Frazzoli, Daniela Rus:
Least-violating control strategy synthesis with safety rules. HSCC 2013: 1-10
2012
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/SvorenovaTBC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/SvorenovaTBC12
María Svorenová, Jana Tumova, Jiri Barnat, Ivana Cerna:
Attraction-based receding horizon path planning with temporal logic constraints. CDC 2012: 6749-6754
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/ChenTB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/ChenTB12
Yushan Chen, Jana Tumova, Calin Belta:
LTL robot motion control based on automata learning of environmental dynamics. ICRA 2012: 5177-5182
2011
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/memics/BarnatCT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/BarnatCT11
Jiri Barnat, Ivana Cerná, Jana Tumova:
Timed Automata Approach to Verification of Systems with Degradation. MEMICS 2011: 84-93
2010
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/TumovaYBCB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/TumovaYBCB10
Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat:
A symbolic approach to controlling piecewise affine systems. CDC 2010: 4230-4235
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/YordanovTBCB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/YordanovTBCB10
Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat:
Formal analysis of piecewise affine systems through formula-guided refinement. CDC 2010: 5899-5904
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/SmithTBR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/SmithTBR10
Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus:
Optimal path planning under temporal logic constraints. IROS 2010: 3288-3293
2009
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BarnatCT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BarnatCT09
Jiri Barnat, Ivana Cerná, Jana Tumova:
Quantitative Model Checking of Systems with Degradation. QEST 2009: 21-30
2008
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BarnatBCCT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BarnatBCCT08
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
Local Quantitative LTL Model Checking. FMICS 2008: 53-68
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BarnatBCCT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BarnatBCCT08
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST 2008: 77-78
2007
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BarnatBCCT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BarnatBCCT07
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2017
[e2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KofronT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KofronT17
Jan Kofron, Jana Tumova:
Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. EPTCS 245, 2017 [contents]
2016
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KofronTB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KofronTB16
Jan Kofron, Jana Tumova, Bara Buhnova:
Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 205, 2016 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-06518
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-06518
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 abs/2401.06518 (2024)
[i30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-03727
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-03727
Alexis Linard, Anna Gautier, Daniel Duberg, Jana Tumova:
Robust MITL planning under uncertain navigation times. CoRR abs/2403.03727 (2024)
[i29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-15916
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-15916
Albin Larsson Forsberg, Alexandros Nikou, Aneta Vulgarakis Feljan, Jana Tumova:
Multi-agent transformer-accelerated RL for satisfaction of STL specifications. CoRR abs/2403.15916 (2024)
[i28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-05535
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-05535
Joris Verhagen, Lars Lindemann, Jana Tumova:
Robust STL Control Synthesis under Maximal Disturbance Sets. CoRR abs/2404.05535 (2024)
[i27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-12624
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-12624
Matti Vahs, Rafael I. Cabral Muchacho, Florian T. Pokorny, Jana Tumova:
Forward Invariance in Trajectory Spaces for Safety-critical Control. CoRR abs/2407.12624 (2024)
[i26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-14394
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-14394
Chelsea Sidrane, Jana Tumova:
TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems. CoRR abs/2407.14394 (2024)
[i25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-11113
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-11113
Yifei Dong, Shaohang Han, Xianyi Cheng, Werner Friedl, Rafael I. Cabral Muchacho, Máximo A. Roa, Jana Tumova, Florian T. Pokorny:
Co-Designing Tools and Control Policies for Robust Manipulation. CoRR abs/2409.11113 (2024)
2023
[i24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-06494
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-06494
Matti Vahs, Jana Tumova:
Non-smooth Control Barrier Functions for Stochastic Dynamical Systems. CoRR abs/2309.06494 (2023)
[i23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-06499
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-06499
Matti Vahs, Christian Pek, Jana Tumova:
Belief Control Barrier Functions for Risk-aware Control. CoRR abs/2309.06499 (2023)
[i22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-12857
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-12857
Matti Vahs, Jana Tumova:
Risk-aware Control for Robots with Non-Gaussian Belief Spaces. CoRR abs/2309.12857 (2023)
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-10585
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-10585
Joris Verhagen, Lars Lindemann, Jana Tumova:
Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. CoRR abs/2310.10585 (2023)
[i20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-11227
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-11227
Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen:
Robust Active Measuring under Model Uncertainty. CoRR abs/2312.11227 (2023)
2021
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-11287
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-11287
Fernando S. Barbosa, Bruno Lacerda, Paul Duckworth, Jana Tumova, Nick Hawes:
Risk-Aware Motion Planning in Partially Known Environments. CoRR abs/2109.11287 (2021)
2020
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-03809
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-03809
Maxime Bouton, Jana Tumova, Mykel J. Kochenderfer:
Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes. CoRR abs/2001.03809 (2020)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-02148
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-02148
Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova:
Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. CoRR abs/2009.02148 (2020)
2019
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-07189
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-07189
Maxime Bouton, Jesper Karlsson, Alireza Nakhaei, Kikuo Fujimura, Mykel J. Kochenderfer, Jana Tumova:
Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving. CoRR abs/1904.07189 (2019)
2018
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-06106
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-06106
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu:
Structured Synthesis for Probabilistic Systems. CoRR abs/1807.06106 (2018)
2017
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/NikouTD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NikouTD17
Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas:
Probabilistic Plan Synthesis for Coupled Multi-Agent Systems. CoRR abs/1704.01432 (2017)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-06888
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-06888
Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas:
On the Timed Temporal Logic Planning of Coupled Multi-Agent Systems. CoRR abs/1709.06888 (2017)
2016
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/NikouBTD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NikouBTD16
Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas:
Cooperative Planning for Coupled Multi-Agent Systems under Timed Temporal Specifications. CoRR abs/1603.05097 (2016)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/TumovaD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TumovaD16
Jana Tumova, Dimos V. Dimarogonas:
Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL Specifications. CoRR abs/1610.08379 (2016)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/TumovaD16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TumovaD16a
Jana Tumova, Dimos V. Dimarogonas:
Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization. CoRR abs/1610.08380 (2016)
2015
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/NikouTD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NikouTD15
Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas:
Cooperative Task Planning of Multi-Agent Systems Under Timed Temporal Specifications. CoRR abs/1509.09137 (2015)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/TumovaD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TumovaD15
Jana Tumova, Dimos V. Dimarogonas:
Synthesizing least-limiting guidelines for safety of semi-autonomous systems. CoRR abs/1510.06496 (2015)
2014
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/TumovaD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TumovaD14
Jana Tumova, Dimos V. Dimarogonas:
A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specifications. CoRR abs/1403.4174 (2014)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GuoTD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GuoTD14
Meng Guo, Jana Tumova, Dimos V. Dimarogonas:
Cooperative Decentralized Multi-agent Control under Local LTL Tasks and Connectivity Constraints. CoRR abs/1405.1836 (2014)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GuoTD14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GuoTD14a
Meng Guo, Jana Tumova, Dimos V. Dimarogonas:
Communication-Free Multi-Agent Control under Local Temporal Tasks and Relative-Distance Constraints. CoRR abs/1410.8673 (2014)
2013
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1303-3679
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-3679
Jana Tumova, Luis I. Reyes Castro, Sertac Karaman, Emilio Frazzoli, Daniela Rus:
Minimum-violation LTL Planning with Conflicting Specifications. CoRR abs/1303.3679 (2013)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1305-1102
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-1102
Luis I. Reyes Castro, Pratik Chaudhari, Jana Tumova, Sertac Karaman, Emilio Frazzoli, Daniela Rus:
Incremental Sampling-based Algorithm for Minimum-violation Motion Planning. CoRR abs/1305.1102 (2013)
2012
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1208-5855
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-5855
María Svorenová, Jana Tumova, Jiri Barnat, Ivana Cerna:
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints. CoRR abs/1208.5855 (2012)
2010
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1007-2212
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-2212
Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus:
Optimal Path Planning under Temporal Logic Constraints. CoRR abs/1007.2212 (2010)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.