Skip to main content
AA228V/CS238V Validation of Safety Critical Systems

Project 3

Estimating the volume of a reachable set

Due Date: by 5pm on Friday, 27 February. Penalty-free grace period until 5pm on Monday, 2 March. See “Late Policy” for details.

This project is designed to let you explore the task of estimating the volume of a reachable set for three different systems.

FAQs

Please see the FAQs page.