The Black-Box Simplex Architecture represents another alternative, runtime verification (which trades off exponential-state-space challenges for real-time-verification challenges). https://t.co/3KDVe4UUUA https://t.co/ijhnlv58BT
RT @StanleyBak: A few weeks ago we had two papers at NASA Formal Methods #NFM2022 in @NASAJPL/@caltech: (1) exhaustive safety verification…
RT @StanleyBak: A few weeks ago we had two papers at NASA Formal Methods #NFM2022 in @NASAJPL/@caltech: (1) exhaustive safety verification…
A few weeks ago we had two papers at NASA Formal Methods #NFM2022 in @NASAJPL/@caltech: (1) exhaustive safety verification for closed-loop AI systems (https://t.co/wbyiiD3Fqk) and (2) shielding AI systems (Simplex) without a trusted backup controller (http