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]
Abstract is missing.