Skip to content
Log in
Sponsored AI Networking Cookbook: Practical recipes for AI-assisted network automation and development AI Networking Cookbook: Practical recipes for AI-assisted network automation and development

Author

Jana Tumova

View on Semantic Scholar

2 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 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. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.