TY  - RPRT
TI  - Logic-based Resilience Computation of Power Systems Against Frequency Requirements
AU  - Negar Monir
AU  - Mahdieh S. Sadabadi
AU  - Sadegh Soudjani
PY  - 2025
UR  - https://arxiv.org/abs/2504.19756
ID  - 2504.19756
ER  -