Author

Jana Tumova

3 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

Belief Space Planning for Risk Signal Temporal Logic via Mixed-Integer Convex Programming

Signal Temporal Logic (STL) specifies robot tasks with spatio-temporal requirements, and its robustness semantics allow planning by trajectory optimization. In practice, robots estimate their state from noisy measurements, and when the information gained from a measurement depends on the state, the robot can actively r...

Shao-Hang Han, Joris Verhagen, Kai-Er Liang et al. · 0 citations

Preprint Sep 2026

Fast and Robust Temporal Logic Planning via ADMM-based Trajectory Optimization

We present a fast numerical method for safe continuous-time motion planning under Temporal Logic (TL) specifications. The method generates smooth continuous trajectories that remain collision-free while robustly satisfying temporal and logical task requirements. A central component of our method is the formulation of n...

Lukas Pries, Joris Verhagen, Jon Arrizabalaga et al. · 0 citations

Jul 2026

Risk-Aware Belief Control Barrier Functions over Random Finite Sets

This work addresses safe control under the induced multi-object state uncertainty with a risk-aware belief control barrier function (BCBF) framework and establishes forward invariance of the safe set under continuous prediction, and derives an explicit condition under which discrete updates preserve safety.

Shaohang Han, Gang Chen, Yi-Xi Cai et al. · arXiv.org · 0 citations