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
@jfdm so there is this - which may be all you need for now? https://t.co/pPUtvZKb7U
@moarbugs For you CPS module, I would recommend our NFM '22 paper on finding rare errors in closed-loop systems with neural network controllers: https://t.co/wbyiiD3Fqk
RT @StanleyBak: A few weeks ago we had two papers at NASA Formal Methods #NFM2022 in @NASAJPL/@caltech: (1) exhaustive safety verification…