Explore projects

DPO-SYNT is a C++ based software toolbox for solving a class of property-enforcement synthesis problems for partially-observed Discrete Event Systems.

New repository for VEiP. Supersedes previous github repository.

WSA NBA Fanduel Optimizer