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
-
Robot teams that talk to humans
SRI scientists created a new AI-based approach to robotics that enables mobile robots to effectively communicate with each other — and with their human operators.
-
Avsr AI: Teaching robots autonomy and dexterity
An SRI spinout is leveraging SRI technology to increase the dexterity and flexibility of our future robotic collaborators.
-
Joe Sawa: Scaling breakthrough hydrogen separation to decarbonize industry
As the CEO of Membravo and former SRI entrepreneur-in-residence, Joe Sawa is harnessing a novel SRI-invented polymer membrane to feed the world’s need for pure hydrogen.