2 citations · 3 across the 10 of their papers we have counts for
4 papers · 1 filter
HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
Vishnu Murali, Amin Falah, Ashutosh Trivedi +1
We introduce a functional inductive framework to verify discrete-time dynamical systems against hyperproperties specified as Hyperlinear temporal logic formulae via a notion of Hyp…
Vector Certificates for -regular Specifications
Mohammed Adib Oumer, Vishnu Murali, Majid Zamani
The recently introduced notions of ranking functions and closure certificates utilize well-foundedness arguments to facilitate the verification of dynamical systems against -reg…
Interpolation-Inspired Closure Certificates
Mohammed Adib Oumer, Vishnu Murali, Majid Zamani
Barrier certificates, a form of state invariants, provide an automated approach to the verification of the safety of dynamical systems. Similarly to barrier certificates, recent wo…
Verification of Hyperproperties for Uncertain Dynamical Systems via Barrier Certificates
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi +1
Hyperproperties are system properties that require quantification over multiple execution traces of a system. Hyperproperties can express several specifications of interest for cyb…