Conformal Predictive Programming for Chance Constrained Optimization
Currently under review in Automatica.
May 5, 2025
Formal Verification and Control with Conformal Prediction
Currently under review in IEEE Control Systems Magazine.
Aug 31, 2024
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