Vishnu Murali

Identifiers

No identifiers captured yet.

Papers (2)

1. HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications eess.SY · 2026 · author #1
2. Agentic Jackal: Live Execution and Semantic Value Grounding for Text-to-JQL cs.CL · 2026 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Amin Falah 1 shared papers
• Anmol Gulati 1 shared papers
• Ashutosh Trivedi 1 shared papers
• Elias Lumer 1 shared papers
• Kevin Frank 1 shared papers
• Majid Zamani 1 shared papers
• Sindy Campagna 1 shared papers
• Vamse Kumar Subbiah 1 shared papers