control-synthesis

There are 2 repositories under control-synthesis topic.

MuvvalaKaran/LTLCtrlSyn
Synthesis of a controller for system with linear dynamics using restricted LTL formula
Language:C2 0 00
nicholasRenninger/autonomousCarControlSynthesis
LTL to Control Synthesis (using formal methods concepts) Framework for a Basic Highway Driving Scenario
Language:Python1 2 0