2 papers
eess.SY2024
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar +1
In this paper, we introduce a hybrid zonotope-based approach for formally verifying the behavior of autonomous systems operating under Linear Temporal Logic (LTL) specifications. I…
cs.RO2023
Maximum Correntropy Criterion Kalman Filter For Indoor Quadrotor Navigation Under Intermittent Measurements
Loizos Hadjiloizou, Evagoras Makridis, Themistoklis Charalambous +1
We present a multisensor fusion framework for the onboard real-time navigation of a quadrotor in an indoor environment. The framework integrates sensor readings from an Inertial Me…