MuvvalaKaran / LTLCtrlSyn Star 2 Code Issues Pull requests Synthesis of a controller for system with linear dynamics using restricted LTL formula ltl safety model-checking linear-systems guarantee formal-language ltl-formulas control-synthesis safe-trajectories Updated Sep 19, 2020 C
nicholasRenninger / autonomousCarControlSynthesis Star 0 Code Issues Pull requests LTL to Control Synthesis (using formal methods concepts) Framework for a Basic Highway Driving Scenario ltl formal-specification buchi-automaton highway-driving-scenario control-synthesis ego-car Updated Aug 1, 2019 Python