Dynamic assessment approach for intelligent power distribution systems based on runtime verification with requirements updates. - Yunshuo Li; Xiangjun Duan; Yuanyuan Xu; Cheng Zhao (High Confid. Comput., 2025)