Probabilistic Assume Guarantee Contracts for Islanded Mission Critical Power System Operations

2026 Open access

Read full text
Authors: Venkatraman Renganathan, Soham Ghosh
DOI: 10.13140/rg.2.2.18100.92807
Cited by: 0

Fields of Study & Subjects

Formal Methods in Verification Power System Reliability and Maintenance Smart Grid Security and Resilience

Publication details

Publication date
1 January 2026
Language
EN