Picture for Jana Tumova

Jana Tumova

KTH Royal Institute of Technology, Stockholm, Sweden

Risk-Aware Robot Control in Dynamic Environments Using Belief Control Barrier Functions

Add code
Apr 05, 2025
Viaarxiv icon

Pedestrian-Aware Motion Planning for Autonomous Driving in Complex Urban Scenarios

Add code
Apr 02, 2025
Viaarxiv icon

Towards Open-Source and Modular Space Systems with ATMOS

Add code
Jan 28, 2025
Figure 1 for Towards Open-Source and Modular Space Systems with ATMOS
Figure 2 for Towards Open-Source and Modular Space Systems with ATMOS
Figure 3 for Towards Open-Source and Modular Space Systems with ATMOS
Figure 4 for Towards Open-Source and Modular Space Systems with ATMOS
Viaarxiv icon

Efficient Non-Myopic Layered Bayesian Optimization For Large-Scale Bathymetric Informative Path Planning

Add code
Oct 21, 2024
Figure 1 for Efficient Non-Myopic Layered Bayesian Optimization For Large-Scale Bathymetric Informative Path Planning
Figure 2 for Efficient Non-Myopic Layered Bayesian Optimization For Large-Scale Bathymetric Informative Path Planning
Figure 3 for Efficient Non-Myopic Layered Bayesian Optimization For Large-Scale Bathymetric Informative Path Planning
Figure 4 for Efficient Non-Myopic Layered Bayesian Optimization For Large-Scale Bathymetric Informative Path Planning
Viaarxiv icon

Co-Designing Tools and Control Policies for Robust Manipulation

Add code
Sep 17, 2024
Viaarxiv icon

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems

Add code
Jul 19, 2024
Viaarxiv icon

Forward Invariance in Trajectory Spaces for Safety-critical Control

Add code
Jul 17, 2024
Figure 1 for Forward Invariance in Trajectory Spaces for Safety-critical Control
Figure 2 for Forward Invariance in Trajectory Spaces for Safety-critical Control
Figure 3 for Forward Invariance in Trajectory Spaces for Safety-critical Control
Figure 4 for Forward Invariance in Trajectory Spaces for Safety-critical Control
Viaarxiv icon

Robust STL Control Synthesis under Maximal Disturbance Sets

Add code
Apr 08, 2024
Figure 1 for Robust STL Control Synthesis under Maximal Disturbance Sets
Figure 2 for Robust STL Control Synthesis under Maximal Disturbance Sets
Figure 3 for Robust STL Control Synthesis under Maximal Disturbance Sets
Viaarxiv icon

Multi-agent transformer-accelerated RL for satisfaction of STL specifications

Add code
Mar 23, 2024
Viaarxiv icon

Robust MITL planning under uncertain navigation times

Add code
Mar 06, 2024
Figure 1 for Robust MITL planning under uncertain navigation times
Figure 2 for Robust MITL planning under uncertain navigation times
Figure 3 for Robust MITL planning under uncertain navigation times
Figure 4 for Robust MITL planning under uncertain navigation times
Viaarxiv icon