Tag
3 entries
Notes on the FABRIC strategy for verifying nonlinear neural feedback systems by combining forward reachability, backward reachability, polyhedral enclosures, MILP encodings, DRiPy refinement, and FITS inner-set construction.
Notes on Vincent & Schwager (2022) introducing the Reachable Polyhedral Marching (RPM) algorithm for exact reachability analysis of ReLU neural network controllers.
Notes on Lamport's 1978 paper introducing logical clocks and the happens-before relation, with observations on how the idea maps onto modern distributed databases.