All Stories

  1. MLTL Multi-type: A Typed Logic for Cyber-Physical Systems

    Article • ACM Transactions on Embedded Computing Systems, November 2024, ACM (Association for Computing Machinery)

    Prof. Dr. Kristin Yvonne Rozier, Gokul Hariharan