# Co4Pro
Correct by Construction Controllers from Control Programs (Toolbox)

Matlab Toolbox

Authors: Vladimir Sinyakov and Antoine Girard

References:

1) Vladimir Sinyakov, Antoine Girard. Formal Synthesis from Control Programs
IEEE Conference on Decision and Control, 2020, Jeju Island, South Korea

2) Vladimir Sinyakov, Antoine Girard. Formal Controller Synthesis from Specifications Given by Discrete-Time Hybrid Automata
Preprint, hal-02361404v1
