This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Roy Fox
royf.org
did:plc:gp3ndwfhw4w4uhet5tiaoboc
Last in our 2024 research review: control with efficient safety guarantees. Formal verification methods are very slow, but here's a cool trick to use them for safe control, with minimal slowdown and provable safety guarantees.
https://indylab.org/pub/Corsi2024Verification/
2024-12-31T19:43:33.556Z