Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
Currently under review in ACM Transactions on Cyber-Physical Systems.
Apr 3, 2025
Formal Verification and Control with Conformal Prediction
Currently under review in IEEE Control Systems Magazine.
Aug 31, 2024
Conformal Predictive Programming for Chance Constrained Optimization
Conformal Predictive Programming
Feb 12, 2024
Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
Currently under review in Automatica.
Dec 7, 2023
EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
A pedagogical tool specifically developed to support learning and understanding of SAT and SMT solving.
Aug 15, 2023