TY  - RPRT
TI  - Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
AU  - Ben Wooding
AU  - Abolfazl Lavaei
AU  - Sadegh Soudjani
PY  - 2023
UR  - https://arxiv.org/abs/2307.03467
ID  - 2307.03467
ER  -