Journal article
2026Passivity Tools for Hybrid Learning Rules in Large Populations
A generalized passivity framework for hybrid and discontinuous learning rules in large-population games.
Publications
My work spans formal methods for learning-enabled control, compositional cyber-physical systems design, and optimization for electronic design automation.
View the full record on Google Scholar Journal article
2026Equivalent and Compact Representations of Neural Network Controllers With Decision Trees
An exact, pruning-aware transformation from discrete-output neural controllers to soft decision trees that can substantially reduce verification time.
Conference paper
2023Exact and Cost-Effective Automated Transformation of Neural Network Controllers to Decision Tree Controllers
An automated, equivalence-preserving conversion from ReLU neural controllers to verification-friendly soft decision trees.
Conference paper
2022Practical Control Design for the Deep Learning Age: Distillation of Deep RL-Based Controllers
A practical workflow for distilling deep-RL controllers into simpler decision-tree and kernel models that are easier to validate and deploy.
Conference paper
2021Time-Division Multiplexing Based System-Level FPGA Routing
A timing-aware routing framework that jointly manages topology, congestion, and TDM ratios in multi-FPGA prototyping systems.