Obsidian/Notes on Papers/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md

First Pass

Category: Experimental Results

Context: They used a F1/10 model of an autonomous car to test out a simplex safety structure on a neural network based controller. They try several different neural net types. Their trick is they use real time reachability to tell when to switch between an optimal controller and the simplex guard.

Correctness: They seem to do things pretty well and by the book. All of their explanations make sense and they do a good job citing sources. They do punt when it comes to talking about the formal verification of the switching mechanism, but they do make note that's future work.

Contributions: They show how a simplex system can work and the difficulties

Clarity:

Second Pass

What is the main thrust?

What is the supporting evidence?

What are the key findings?

Third Pass

Recreation Notes:

Hidden Findings:

Weak Points? Strong Points?