GitHub topics: control-synthesis
nicholasRenninger/autonomousCarControlSynthesis
LTL to Control Synthesis (using formal methods concepts) Framework for a Basic Highway Driving Scenario
Language: Python - Size: 1.71 MB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
MuvvalaKaran/LTLCtrlSyn
Synthesis of a controller for system with linear dynamics using restricted LTL formula
Language: C - Size: 5.58 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0
