Formal verification of hyperproperties for control systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani. Formal verification of hyperproperties for control systems. In CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21, 2021. pages 29-30, ACM, 2021. [doi]

This author has not been identified. Look up 'Mahathi Anand' in GoogleThis author has not been identified. Look up 'Vishnu Murali' in GoogleThis author has not been identified. Look up 'Ashutosh Trivedi 0001' in GoogleThis author has not been identified. Look up 'Majid Zamani' in Google

runs on WebDSL