Biblio
Filters: Author is Oleg Sokolsky [Clear All Filters]
.
2020. From Checking to Inference: Actual Causality Computations as Optimization Problems. Automated Technology for Verification and Analysis - 18th International Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings. 12302:343–359.