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
-
SRI spinout Autonomique brings lab research to the factory floor
Licensed teleoperation and AI are driving production-grade robotics at a global Tier 1 automotive supplier
-
SRI’s Tixiao Shan recognized by Scientific American
His work: robots that navigate spaces, reason about objects, and understand relationships.
-
The SRI Dish turns 65
SRI’s iconic antenna celebrates 65 years of looking to space.