A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation. - S. Akshay 001; Paul Gastin; R. Govind 001; Aniruddha R. Joshi; B. Srivathsan (CAV (1), 2023)

Learning Monitor Ensembles for Operational Design Domains. - Hazem Torfah; Aniruddha R. Joshi; Shetal Shah; S. Akshay 001; Supratik Chakraborty; Sanjit A. Seshia (RV, 2023)