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…
Agentic Jackal: Live Execution and Semantic Value Grounding for Text-to-JQL
Vishnu Murali, Anmol Gulati, Elias Lumer +3
Translating natural language into Jira Query Language (JQL) requires resolving ambiguous field references, instance-specific categorical values, and complex Boolean predicates. Sin…
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…