/LTLCtrlSyn

Synthesis of a controller for system with linear dynamics using restricted LTL formula

Primary LanguageC

No issues in this repository yet.