E-LIB Suche - Ergebnisse für: Zeljić, Aleksandar

1

Efficient Neural Network Analysis with Sum-of-Infeasibiliti..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Wu, Haoze ; Zeljić, Aleksandar ; Katz, Guy. - p. 143-163 , 2022

Link: https://doi.org/10.1007/..

2

Global optimization of objective functions represented by R..:

Strong, Christopher A. ; Wu, Haoze ; Zeljić, Aleksandar...
Machine Learning. 112 (2021) 10 - p. 3685-3712 , 2021

Link: https://doi.org/10.1007/..

3

Interpolating bit-vector formulas using uninterpreted predi..:

Backeman, Peter ; Rümmer, Philipp ; Zeljić, Aleksandar
Formal Methods in System Design. 57 (2021) 2 - p. 121-156 , 2021

Link: https://doi.org/10.1007/..

4

Parallelization Techniques for Verifying Neural Networks:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),

Wu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar... - p. 128-137 , 2020

Link: https://doi.org/10.34727..

5

The Marabou Framework for Verification and Analysis of Deep..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Katz, Guy ; Huang, Derek A. ; Ibeling, Duligur... - p. 443-452 , 2019

Link: https://doi.org/10.1007/..

6

Bit-Vector Interpolation and Quantifier Elimination by Lazy..:

, In: 2018 Formal Methods in Computer Aided Design (FMCAD),

Backeman, Peter ; Rummer, Philipp ; Zeljic, Aleksandar - p. 1-10 , 2018

Link: https://doi.org/10.23919..

7

An Approximation Framework for Solvers and Decision Procedu..:

Zeljić, Aleksandar ; Wintersteiger, Christoph M. ; Rümmer, Philipp
Journal of Automated Reasoning. 58 (2016) 1 - p. 127-147 , 2016

Link: https://doi.org/10.1007/..

8

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks:

Wu, Haoze ; Isac, Omri ; Zeljić, Aleksandar...
http://arxiv.org/abs/2401.14461. , 2024

Link: http://arxiv.org/abs/240..

9

Efficient Neural Network Analysis with Sum-of-Infeasibiliti..:

Wu, Haoze ; Zeljić, Aleksandar ; Katz, Guy.
http://arxiv.org/abs/2203.11201. , 2022

Link: http://arxiv.org/abs/220..

10

Interpolating bit-vector formulas using uninterpreted predi..:

Backeman, Peter ; Rümmer, Philipp ; Zeljic, Aleksandar
Formal methods in system design, 0925-9856, 2021, 57:2, s. 121-156. , 2021

Link: http://urn.kb.se/resolve..

11

Parallelization Techniques for Verifying Neural Networks:

Wu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar...
#PLACEHOLDER_PARENT_METADATA_VALUE#. , 2020

Link: https://hdl.handle.net/2..

12

Parallelization Techniques for Verifying Neural Networks:

Wu, Haoze ; Ozdemir, Alex ; Zeljić, Aleksandar...
http://arxiv.org/abs/2004.08440. , 2020

Link: http://arxiv.org/abs/200..

13

Global Optimization of Objective Functions Represented by R..:

Strong, Christopher A ; Wu, Haoze ; Zeljić, Aleksandar...
http://arxiv.org/abs/2010.03258. , 2020

Link: http://arxiv.org/abs/201..

14

Exploring Approximations for Floating-Point Arithmetic usin..:

Zeljic, Aleksandar ; Backeman, Peter ; Wintersteiger, Christoph M.
Lecture Notes in Computer Science, 0302-9743. , 2018

Link: http://urn.kb.se/resolve..

15

Bit-Vector Interpolation and Quantifier Elimination by Lazy..:

Backeman, Peter ; Rümmer, Philipp ; Zeljic, Aleksandar
Formal Methods in Computer-Aided Design, p. 50-59. , 2018

Link: http://urn.kb.se/resolve..