Autonomous Driving Toolbox
- This Autonomous Driving
toolbox is a python implementation of maximum entropy IRL for driver modeling and finding an autonomous controller for affecting the human. This is the code for RSS 2016 and IROS 2016 papers.
Controller Synthesis for Probabilistic Signal Temporal Logic Specifications (CrSPrSTL)
is a Matlab toolbox for Synthesizing safe controllers under Probabilistic Signal Temporal Logic (PrSTL) Specificaitons.
Diagnosis and Repair for sYnthesis (DiaRY)
is a Matlab toolbox for Diagnosis and Repair of Signal Temporal Logic and Probabilistic Signal Temporal Logic formulae in a receding horizon controller synthesis problem.
Human Centric Cyber-Physical Systems
is a link to the website for Human Centric Cyber-Physical Systems and the new and exciting
research at Berkeley on Human CPS.
Automatic Problem Generation
you can find automatically generated RM/EDF Problems.
you can find mutated versions of a traffic light state machine as xml files.