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