Citation
Rushby, J. (2013, 24-27 September). Logic and epistemology in safety cases. Paper presented at the International Conference on Computer Safety, Reliability and Security (SAFECOMP ’13), Toulouse, France.
Logic and Epistemology in Safety Cases
Read more from SRI
-
Responsible AI: Inside SRI’s race to make generative models safe
SRI’s Artificial Intelligence Center is tackling generative AI’s biggest blind spot: trust.
-
Zero-energy cooling named a WEF top 10 emerging technology
Passive radiative cooling, a technology that beams heat into space without using electricity, moves from lab to rooftop.
-
Case study: Edge AI deployment gets simpler with Latent AI
2018 SRI spinout helps developers compress, secure, and deploy AI models at the edge.