3 papers
cs.RO2026
Localization in Spatiotemporal Fields via Environmental PDEs
Jose Fuentes, Abdullah Al Redwan Newaz, Ana Cavalcanti +1
This paper proposes a localization framework that uses spatiotemporal fields governed by partial differential equations (PDEs) as localization signatures. Two PDE classes are consi…
cs.RO2026
Multi-Robot Trajectory Planning via Constrained Bayesian Optimization and Local Cost Map Learning with STL-Based Conflict Resolution
Sourav Raxit, Abdullah Al Redwan Newaz, Jose Fuentes +3
We address multi-robot motion planning under Signal Temporal Logic (STL) specifications with kinodynamic constraints. Exact approaches face scalability bottlenecks and limited adap…
cs.RO2024
Model Checking and Verification of Synchronisation Properties of Cobot Welding
Yvonne Murray, Henrik Nordlie, David A. Anisi +2
This paper describes use of model checking to verify synchronisation properties of an industrial welding system consisting of a cobot arm and an external turntable. The robots must…