10 citations · 50 across the 22 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Conservative Safety Monitors of Stochastic Dynamical Systems
Matthew Cleaveland, Oleg Sokolsky, Insup Lee +1
Generating accurate runtime safety estimates for autonomous systems is vital to ensuring their continued proliferation. However, exhaustive reasoning about future behaviors is gene…
cs.LO2017★ 4 cited
Counterfactual Causality from First Principles?
Gregor Gössler, Oleg Sokolsky, Jean-Bernard Stefani
In this position paper we discuss three main shortcomings of existing approaches to counterfactual causality from the computer science perspective, and sketch lines of work to try…