Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Hinde, Luke"'
This report documents safety assurance argument templates to support the deployment and operation of autonomous systems that include machine learning (ML) components. The document presents example safety argument templates covering: the development o
Externí odkaz:
http://arxiv.org/abs/2102.02625
Publikováno v:
Logical Methods in Computer Science, Volume 15, Issue 1 (February 13, 2019) lmcs:4141
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 handle universal quantification. By formalising the construction of th
Externí odkaz:
http://arxiv.org/abs/1712.03626
Autor:
Beyersdorff, Olaf, Hinde, Luke
Publikováno v:
In Information and Computation October 2019 268
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.