DPO-SYNT

Project information

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

27 Commits
1 Branch
0 Tags

README

Created on

December 07, 2016

Copy SSH clone URLgit@gitlab.eecs.umich.edu:M-DES-tools/DPO-SYNT.git
Copy HTTPS clone URLhttps://gitlab.eecs.umich.edu/M-DES-tools/DPO-SYNT.git