Optimal Automatic Requirement-based Test Case Generation
Embedded Files
In this project I developed automated optimization-based frameworks to test Cyber-Physical Systems against their requirements and find potential bugs faster.
Requirement-guided Control Training
This project concerns training robust neural-network controllers that enforce the closed-loop system to satisfy given requirements.
Risk-bounded control design using Control Barrier Functions
In this project I used control barrier functions to achieve controllers that guarantee safety in the probabilistic sense and bound the probability of an undesired behavior to a desired value.
Report abuse