default search action
Jana Tumova
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j14]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]Matti Vahs, Christian Pek, Jana Tumova:
Belief Control Barrier Functions for Risk-Aware Control. IEEE Robotics Autom. Lett. 8(12): 8565-8572 (2023) - [j12]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]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]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]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]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]Jana Tumova, Dimos V. Dimarogonas:
Multi-agent planning under local LTL specifications and event-based synchronization. Autom. 70: 239-248 (2016) - [j6]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]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]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]Jiri Barnat, Ivana Cerná, Jana Tumova:
Verification of Systems with Degradation. Comput. Informatics 31(3): 507- (2012) - [j2]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]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
- 2024
- [c70]Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen:
Robust Active Measuring under Model Uncertainty. AAAI 2024: 21276-21284 - [c69]Joris Verhagen, Lars Lindemann, Jana Tumova:
Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. ACC 2024: 251-258 - [c68]Matti Vahs, Jana Tumova:
Non-Smooth Control Barrier Functions for Stochastic Dynamical Systems. ECC 2024: 2200-2205 - [c67]Alexis Linard, Anna Gautier, Daniel Duberg, Jana Tumova:
Robust MITL planning under uncertain navigation times. ICRA 2024: 2498-2504 - [c66]Truls Nyberg, Jonne van Haastregt, Jana Tumova:
Highway-Driving with Safe Velocity Bounds on Occluded Traffic. ICRA 2024: 6828-6835 - [c65]Matti Vahs, Jana Tumova:
Risk-aware Control for Robots with Non-Gaussian Belief Spaces. ICRA 2024: 11661-11667 - [c64]Patrick Hammer, Peter Isaev, Lei Feng, Robert Johansson, Jana Tumova:
Non-Axiomatic Reasoning for an Autonomous Mobile Robot. ICRA 2024: 17079-17085 - 2023
- [c63]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]Daniel Marta, Simon Holk, Christian Pek, Jana Tumova, Iolanda Leite:
Aligning Human Preferences with Baseline Objectives in Reinforcement Learning. ICRA 2023: 7562-7568 - [c61]Matti Vahs, Christian Pek, Jana Tumova:
Risk-aware Spatio-temporal Logic Planning in Gaussian Belief Spaces. ICRA 2023: 7879-7885 - [c60]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]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]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]Wei Wang, Georg Friedrich Schuppe, Jana Tumova:
Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints. MED 2023: 842-849 - [c56]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]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]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]Wei Wang, Georg Friedrich Schuppe, Jana Tumova:
Decentralized Multi-agent Coordination under MITL Tasks and Communication Constraints. ICCPS 2022: 320-321 - [c52]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]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]Pouria Tajvar, Pierre-Jean Meyer, Jana Tumova:
Closed-loop incremental stability for efficient symbolic control of non-linear systems. ADHS 2021: 121-126 - [c49]Fernando S. Barbosa, Bruno Lacerda, Paul Duckworth, Jana Tumova, Nick Hawes:
Risk-Aware Motion Planning in Partially Known Environments. CDC 2021: 5220-5226 - [c48]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]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]Ioanna Mitsioni, Pouria Tajvar, Danica Kragic, Jana Tumova, Christian Pek:
Safe Data-Driven Contact-Rich Manipulation. HUMANOIDS 2021: 120-127 - [c45]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]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]Charles Chernik, Pouria Tajvar, Jana Tumova:
Robust Feedback Motion Primitives for Exploration of Unknown Terrains. IROS 2021: 8173-8179 - [c42]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]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]Georg Friedrich Schuppe, Jana Tumova:
Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers. MRS 2021: 119-127 - [c39]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]Maxime Bouton, Jana Tumova, Mykel J. Kochenderfer:
Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes. AAAI 2020: 10061-10068 - [c37]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]Jesper Karlsson, Jana Tumova:
Intention-aware motion planning with road rules. CASE 2020: 526-532 - [c35]Georg Friedrich Schuppe, Jana Tumova:
Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition. CASE 2020: 533-540 - [c34]Alexis Linard, Jana Tumova:
Active Learning of Signal Temporal Logic Specifications. CASE 2020: 779-785 - [c33]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]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]Pouria Tajvar, Anastasiia Varava, Danica Kragic, Jana Tumova:
Robust Motion Planning for Non-holonomic Robots with Planar Geometric Constraints. ISRR 2019: 850-866 - [c30]Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu:
Structured Synthesis for Probabilistic Systems. NFM 2019: 237-254 - 2018
- [c29]Jesper Karlsson, Jana Tumova:
Decentralized Dynamic Multi-Vehicle Routing via Fast Marching Method. ECC 2018: 739-745 - [c28]Claudio Menghi, Sergio García, Patrizio Pelliccione, Jana Tumova:
Multi-robot LTL Planning Under Uncertainty. FM 2018: 399-417 - [c27]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]Claudio Menghi, Sergio García, Patrizio Pelliccione, Jana Tumova:
Towards multi-robot applications planning under uncertainty. ICSE (Companion Volume) 2018: 438-439 - 2017
- [c25]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]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]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]Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas:
Cooperative task planning of multi-agent systems under timed temporal specifications. ACC 2016: 7104-7109 - [c21]Jana Tumova, Dimos V. Dimarogonas:
Synthesizing least-limiting guidelines for safety of semi-autonomous systems. CDC 2016: 5714-5719 - [c20]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]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]Jana Tumova, Dimos V. Dimarogonas:
Decomposition of multi-agent planning under distributed motion and task LTL specifications. CDC 2015: 7448-7453 - [c17]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]Jana Tumova, Dimos V. Dimarogonas:
A receding horizon approach to multi-agent planning from local LTL specifications. ACC 2014: 1775-1780 - [c15]Meng Guo, Jana Tumova, Dimos V. Dimarogonas:
Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints. CDC 2014: 75-80 - [c14]Jana Tumova, Alejandro Marzinotto, Dimos V. Dimarogonas, Danica Kragic:
Maximally satisfying LTL action planning. IROS 2014: 1503-1510 - 2013
- [c13]Jana Tumova, Luis I. Reyes Castro, Sertac Karaman, Emilio Frazzoli, Daniela Rus:
Minimum-violation LTL planning with conflicting specifications. ACC 2013: 200-205 - [c12]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]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]María Svorenová, Jana Tumova, Jiri Barnat, Ivana Cerna:
Attraction-based receding horizon path planning with temporal logic constraints. CDC 2012: 6749-6754 - [c9]Yushan Chen, Jana Tumova, Calin Belta:
LTL robot motion control based on automata learning of environmental dynamics. ICRA 2012: 5177-5182 - 2011
- [c8]Jiri Barnat, Ivana Cerná, Jana Tumova:
Timed Automata Approach to Verification of Systems with Degradation. MEMICS 2011: 84-93 - 2010
- [c7]Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat:
A symbolic approach to controlling piecewise affine systems. CDC 2010: 4230-4235 - [c6]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]Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus:
Optimal path planning under temporal logic constraints. IROS 2010: 3288-3293 - 2009
- [c4]Jiri Barnat, Ivana Cerná, Jana Tumova:
Quantitative Model Checking of Systems with Degradation. QEST 2009: 21-30 - 2008
- [c3]Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
Local Quantitative LTL Model Checking. FMICS 2008: 53-68 - [c2]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]Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216
Editorship
- 2017
- [e2]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]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
- 2024
- [i31]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]Alexis Linard, Anna Gautier, Daniel Duberg, Jana Tumova:
Robust MITL planning under uncertain navigation times. CoRR abs/2403.03727 (2024) - [i29]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]Joris Verhagen, Lars Lindemann, Jana Tumova:
Robust STL Control Synthesis under Maximal Disturbance Sets. CoRR abs/2404.05535 (2024) - [i27]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]Chelsea Sidrane, Jana Tumova:
TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems. CoRR abs/2407.14394 (2024) - [i25]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]Matti Vahs, Jana Tumova:
Non-smooth Control Barrier Functions for Stochastic Dynamical Systems. CoRR abs/2309.06494 (2023) - [i23]Matti Vahs, Christian Pek, Jana Tumova:
Belief Control Barrier Functions for Risk-aware Control. CoRR abs/2309.06499 (2023) - [i22]Matti Vahs, Jana Tumova:
Risk-aware Control for Robots with Non-Gaussian Belief Spaces. CoRR abs/2309.12857 (2023) - [i21]Joris Verhagen, Lars Lindemann, Jana Tumova:
Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. CoRR abs/2310.10585 (2023) - [i20]Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen:
Robust Active Measuring under Model Uncertainty. CoRR abs/2312.11227 (2023) - 2021
- [i19]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]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]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]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]Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu:
Structured Synthesis for Probabilistic Systems. CoRR abs/1807.06106 (2018) - 2017
- [i14]Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas:
Probabilistic Plan Synthesis for Coupled Multi-Agent Systems. CoRR abs/1704.01432 (2017) - [i13]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]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]Jana Tumova, Dimos V. Dimarogonas:
Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL Specifications. CoRR abs/1610.08379 (2016) - [i10]Jana Tumova, Dimos V. Dimarogonas:
Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization. CoRR abs/1610.08380 (2016) - 2015
- [i9]Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas:
Cooperative Task Planning of Multi-Agent Systems Under Timed Temporal Specifications. CoRR abs/1509.09137 (2015) - [i8]Jana Tumova, Dimos V. Dimarogonas:
Synthesizing least-limiting guidelines for safety of semi-autonomous systems. CoRR abs/1510.06496 (2015) - 2014
- [i7]Jana Tumova, Dimos V. Dimarogonas:
A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specifications. CoRR abs/1403.4174 (2014) - [i6]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]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]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]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]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]Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus:
Optimal Path Planning under Temporal Logic Constraints. CoRR abs/1007.2212 (2010)
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 20:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint