Panagiotis Tsiotras

Hard safety guarantees no longer require hours of offline pre-computation: an online, interval-based verification pipeline brings formal reachability directly into sampling-based MPC while eliminating over 99% of trajectory violations.

CBLS achieves unprecedented speedups in multi-manipulator planning by leveraging lazy evaluation techniques, outpacing existing methods like CBS and RRT-Connect.

Accurate force estimation in continuum robots can now be achieved even in complex multi-contact scenarios, outperforming traditional methods.

Real-time uncertainty quantification in 3D Gaussian Splatting is now possible, unlocking more robust active mapping and view synthesis.