Conformal Predictive Programming for Chance Constrained Optimization
Currently under review in Automatica.
May 5, 2025
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