Verifying hybrid automata networks guided by task scenarios

Formal Methods in System Design 2026

View at publisher

Authors: Longlong Lu, Yufei Shi, Minxue Pan, Xuandong Li

DOI: 10.1007/s10703-026-00492-x

Cited by: 1

References: 38

Fields of Study & Subjects

Formal Methods in Verification Machine Learning and Algorithms Network Packet Processing and Optimization

References 38