×

Found 13 Documents (Results 1–13)

Neural network repair with reachability analysis. (English) Zbl 07643437

Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 221-236 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reachability analysis of deep ReLU neural networks using facet-vertex incidence. (English) Zbl 07807691

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 18, 7 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Robustness verification of semantic segmentation neural networks using relaxed reachability. (English) Zbl 1493.68221

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 263-286 (2021).
MSC:  68Q60 68T07
PDFBibTeX XMLCite
Full Text: DOI

Improved geometric path enumeration for verifying ReLU neural networks. (English) Zbl 1478.68142

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 66-96 (2020).
MSC:  68Q60 68T07
PDFBibTeX XMLCite
Full Text: DOI

Verification of deep convolutional neural networks using ImageStars. (English) Zbl 1478.68180

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 18-42 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reachability analysis for high-index linear differential algebraic equations. (English) Zbl 1441.93021

André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 160-177 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Numerical verification of affine systems with up to a billion dimensions. (English) Zbl 07120137

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 23-32 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Database

all top 5

Year of Publication

Main Field

all top 3

Software