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