@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
NASA Formal Methods
Springer International Publishing
@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…
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