Login / Signup
Loizos Hadjiloizou
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 6
Top Topics
Kalman Filter
Temporal Logic
Pose Estimation
Outdoor Environments
Top Venues
CoRR
MED
GLOBECOM (Workshops)
ECC
</>
Publications
</>
Loizos Hadjiloizou
,
Frank J. Jiang
,
Amr Alanwar
,
Karl H. Johansson
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis.
ECC
(2024)
Loizos Hadjiloizou
,
Frank J. Jiang
,
Amr Alanwar
,
Karl Henrik Johansson
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis.
CoRR
(2024)
Loizos Hadjiloizou
,
Evagoras Makridis
,
Themistoklis Charalambous
,
Kyriakos M. Deliparaschos
Maximum Correntropy Criterion Kalman Filter for Indoor Quadrotor Navigation under Intermittent Measurements.
MED
(2023)
Loizos Hadjiloizou
,
Evagoras Makridis
,
Themistoklis Charalambous
,
Kyriakos M. Deliparaschos
Maximum Correntropy Criterion Kalman Filter For Indoor Quadrotor Navigation Under Intermittent Measurements.
CoRR
(2023)
Loizos Hadjiloizou
,
Kyriakos M. Deliparaschos
,
Evagoras Makridis
,
Themistoklis Charalambous
Onboard Real-Time Multi-Sensor Pose Estimation for Indoor Quadrotor Navigation with Intermittent Communication.
CoRR
(2022)
Loizos Hadjiloizou
,
Kyriakos M. Deliparaschos
,
Evagoras Makridis
,
Themistoklis Charalambous
Onboard Real-Time Multi-Sensor Pose Estimation for Indoor Quadrotor Navigation with Intermittent Communication.
GLOBECOM (Workshops)
(2022)