Symbolic and Numeric Challenges in Neural Network Verification Methods

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	5
Number of pages	1
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	361
DOIs	https://doi.org/10.4204/eptcs.361.2
State	Published - Jul 14 2022
Event	7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021 - Virtual, Online Duration: Aug 23 2021 → …

Access to Document

@article{4e0299200a034e48b17324d8ae6ede87,

title = "Symbolic and Numeric Challenges in Neural Network Verification Methods",

author = "Stanley Bak",

year = "2022",

month = jul,

day = "14",

doi = "10.4204/eptcs.361.2",

language = "English",

volume = "361",

pages = "5",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

note = "7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021 ; Conference date: 23-08-2021",

}

TY - JOUR

T1 - Symbolic and Numeric Challenges in Neural Network Verification Methods

AU - Bak, Stanley

PY - 2022/7/14

Y1 - 2022/7/14

UR - https://www.scopus.com/pages/publications/85135347882

U2 - 10.4204/eptcs.361.2

DO - 10.4204/eptcs.361.2

M3 - Conference article

AN - SCOPUS:85135347882

SN - 2075-2180

VL - 361

SP - 5

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021

Y2 - 23 August 2021

ER -