Research author

Avinash Malik

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Avinash Malik

Mar 26, 2026
cs.FL

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems

Partha Roop, Sobhan Chatterjee, Avinash Malik, et al.

Avinash Malik — AI Research Papers | One9Founders