2 papers
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…
cs.RO2022
Onboard Real-Time Multi-Sensor Pose Estimation for Indoor Quadrotor Navigation with Intermittent Communication
Loizos Hadjiloizou, Kyriakos M. Deliparaschos, Evagoras Makridis +1
We propose a multisensor fusion framework for onboard real-time navigation of a quadrotor in an indoor environment, by integrating sensor readings from an Inertial Measurement Unit…