@inproceedings{a2b5c43e620f4a7e8ecb53c30efc107b,
title = "Weather Impact on DER Long-term Performance: A Formal Verification Approach",
author = "{Alpizar Santana}, Misael and Ioannis Stefanakos and Xinwei Fang and Ankita Garg and Hongjian Sun and Ashraf Osman",
note = " {\textcopyright}2024 IEEE",
year = "2024",
month = nov,
day = "13",
doi = "10.1109/ISGTAsia61245.2024.10876300",
language = "English",
isbn = "979-8-3503-7393-6",
booktitle = "2024 IEEE PES Innovative Smart Grid Technologies-Asia (ISGT Asia)",
}