2 citations · 3 across the 10 of their papers we have counts for
10 papers
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…
Control Closure Certificates
Vishnu Murali, Mohammed Adib Oumer, Majid Zamani
This paper introduces the notion of control closure certificates to synthesize controllers for discrete-time control systems against -regular specifications. Typical functional…
-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
Mohammed Adib Oumer, Vishnu Murali, Majid Zamani
In this paper, we introduce two new types of barrier certificates that are based on multiple functions rather than a single one. A conventional barrier certificate for a stochastic…
Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Barrier certificates provide functional overapproximations for the reachable set of dynamical systems and provide inductive guarantees on the safe evolution of the system. In autom…
Closure Certificates
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
A barrier certificate, defined over the states of a dynamical system, is a real-valued function whose zero level set characterizes an inductively verifiable state invariant separat…
Optimal Repair For Omega-regular Properties
Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali +1
This paper presents an optimization based framework to automate system repair against omega-regular properties. In the proposed formalization of optimal repair, the systems are rep…
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…