%% Probabilistic Zonotope
% In CORA, probabilistic zontopes are instantiated by

% probZ = probZonotope(Z,P);

% where Z is the concatenated zonotope center and generator matrix, and P is the probabilistic generator matrix.
% Example:

% initialize probabilistic zonotope
Z = [0 1 0; 0 0 1];
P = [3 2; 3 -2];
probZ = probZonotope(Z,P);

% plot probabilistic zonotope
plot(probZ);