Showing eess.SYShow all
3 papers · 1 filter
eess.SY2026
Towards Safe Reinforcement Learning with Reduced Conservativeness: A Case Study on Drone Flight Control
Loizos Hadjiloizou, Michael C. Welle, Hang Yin +1
Incorporating formal methods into reinforcement learning (RL) has the potential to result in the best of both worlds, combining the robustness of formal guarantees with the adaptab…
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…
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…