7 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.SE2021★ 2 cited
Safety Case Templates for Autonomous Systems
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf +2
This report documents safety assurance argument templates to support the deployment and operation of autonomous systems that include machine learning (ML) components. The document…
cs.LO2017★ 7 cited
Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs
Olaf Beyersdorff, Joshua Blinkhorn, Luke Hinde
As a natural extension of the SAT problem, an array of proof systems for quantified Boolean formulas (QBF) have been proposed, many of which extend a propositional proof system to…