Tumova, Jana
- Incremental Sampling-based Algorithm for Minimum-violation Motion\n Planning
2013/05/06 by Luis I. Reyes Castro, Pratik Chaudhari, Castro, Luis I. Reyes +9 · 1 citation
Computer Science · Decision Sciences · #Formal Methods in Verification #Simulation Techniques and Applications #Model-Driven Software Engineering Techniques
- Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization
2016/10/26 by Tumova, Jana, Dimarogonas, Dimos V. · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Belief Control Barrier Functions for Risk-aware Control
2023/09/12 by Vahs, Matti, Pek, Christian, Tumova, Jana · 2 citations
#FOS: Computer and information sciences #Robotics (cs.RO)
- CageCoOpt: Enhancing Manipulation Robustness through Caging-Guided Morphology and Policy Co-Optimization
2024/09/17 by Yifei Dong, Shaohang Han, Dong, Yifei +13 · 3 citations
Computer Science · Engineering · #Advanced Surface Polishing Techniques #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Robot Manipulation and Learning #Robotics (cs.RO)
- Risk-Aware Motion Planning in Partially Known Environments
2021/09/23 by Fernando S. Barbosa, Bruno Lacerda, Barbosa, Fernando S. +7 · 1 citation
Computer Science · #Robotic Path Planning Algorithms
- Temporally Robust Multi-Agent STL Motion Planning in Continuous Time
2023/10/16 by Verhagen, Joris, Lindemann, Lars, Tumova, Jana · 2 citations
#FOS: Computer and information sciences #Robotics (cs.RO)
- Non-smooth Control Barrier Functions for Stochastic Dynamical Systems
2023/09/12 by Matti Vahs, Vahs, Matti, Jana Tůmová +1 · 1 citation
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #Fault Detection and Control Systems #Formal Methods in Verification #Robotics (cs.RO)
- Robust Active Measuring under Model Uncertainty
2023/12/18 by Krale, Merlijn, Simão, Thiago D., Tumova, Jana +1 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Robust STL Control Synthesis under Maximal Disturbance Sets
2024/04/08 by Verhagen, Joris, Lindemann, Lars, Tumova, Jana · 1 citation
#FOS: Computer and information sciences #Robotics (cs.RO)
- Forward Invariance in Trajectory Spaces for Safety-critical Control
2024/07/17 by Matti Vahs, Rafael I. Cabral Muchacho, Vahs, Matti +5 · 1 citation
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #Robotic Path Planning Algorithms #Robotics (cs.RO) #Vehicle Dynamics and Control Systems
- Pedestrian-Aware Motion Planning for Autonomous Driving in Complex Urban Scenarios
2025/04/02 by Moller, Korbinian, Nyberg, Truls, Tumova, Jana +1 · 1 citation
#FOS: Computer and information sciences #Robotics (cs.RO)