Research author

Logan Kenwright

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

Papers by Logan Kenwright

Mar 26, 2026
cs.FL

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

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

Logan Kenwright — AI Research Papers | One9Founders