Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Shriver, David A.
102  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

DNNF:

Shriver, David
https://github.com/dlshriver/dnnf/tree/v0.1.4.  , 2022
Link: https://zenodo.org/recor..
 
?
2

DNNV:

Shriver, David
https://github.com/dlshriver/dnnv/tree/v0.5.0.  , 2022
Link: https://zenodo.org/recor..
 
?
3

DNNF:

Shriver, David
https://github.com/dlshriver/dnnf/tree/v0.1.5.  , 2022
Link: https://zenodo.org/recor..
 
?
4

DNNF:

Shriver, David
https://github.com/dlshriver/dnnf/tree/v0.1.2.  , 2022
Link: https://zenodo.org/recor..
 
?
5

DNNV:

Shriver, David
https://github.com/dlshriver/dnnv/tree/v0.5.1.  , 2022
Link: https://zenodo.org/recor..
 
?
6

DNNF:

Shriver, David
https://github.com/dlshriver/dnnf/tree/v0.1.7.  , 2022
Link: https://zenodo.org/recor..
 
?
7

DNNF:

Shriver, David
https://github.com/dlshriver/dnnf/tree/v0.1.6.  , 2022
Link: https://zenodo.org/recor..
 
?
8

DNNV:

Shriver, David
https://github.com/dlshriver/dnnv/tree/v0.6.0.  , 2022
Link: https://zenodo.org/recor..
 
?
9

DNNF:

Shriver, David
https://github.com/dlshriver/dnnf/tree/v0.1.3.  , 2022
Link: https://zenodo.org/recor..
 
?
10

Reducing DNN Properties to Enable Falsification with Advers..:

Shriver, David ; Elbaum, Sebastian ; Dwyer, Matthew
doi:10.5281/zenodo.4439218.  , 2021
Link: https://zenodo.org/recor..
 
?
11

DNNV: A Framework for Deep Neural Network Verification:

Shriver, David ; Elbaum, Sebastian ; Dwyer, Matthew B
http://arxiv.org/abs/2105.12841.  , 2021
Link: http://arxiv.org/abs/210..
 
?
12

DNNF:

Shriver, David
https://github.com/dlshriver/DNNF/tree/v0.1.0.  , 2021
Link: https://zenodo.org/recor..
 
?
13

DNNV:

Shriver, David
https://github.com/dlshriver/DNNV/tree/v0.5.0a2.  , 2021
Link: https://zenodo.org/recor..
 
?
14

DNNF:

Shriver, David
https://github.com/dlshriver/dnnf/tree/v0.1.1.  , 2021
Link: https://zenodo.org/recor..
 
?
15

Systematic Generation of Diverse Benchmarks for DNN Verific..:

Xu, Dong ; Shriver, David ; Dwyer, Matthew B.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363219/.  , 2020
Link: http://www.ncbi.nlm.nih...
 
1-15