2 papers
cs.RO2026
Symmetries Here and There, Combined Everywhere: Cross-space Symmetry Compositions in Robotics
Loizos Hadjiloizou, Rodrigo Pérez-Dattari, Noémie Jaquier
Robots exhibit a rich variety of symmetries arising from their mechanical structure and the properties of their tasks. Although many robotics problems exhibit several symmetries si…
eess.SY2025
pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
Kaj Munhoz Arfvidsson, Loizos Hadjiloizou, Frank J. Jiang +2
In this paper, we present pyspect, a Python toolbox that simplifies the use of reachability analysis for temporal logic problems. Currently, satisfying complex requirements in cybe…