Travelled to:1 × Austria
Collaborated with:C.M.Wintersteiger P.Rümmer P.Backeman G.Katz D.A.Huang D.Ibeling K.Julian C.Lazarus R.Lim P.Shah S.Thakoor H.W.0001 D.L.Dill M.J.Kochenderfer C.W.Barrett
Talks about:approxim (2) framework (1) construct (1) arithmet (1) network (1) marabou (1) analysi (1) neural (1) explor (1) verif (1)
Person: Aleksandar Zeljic
DBLP: Zeljic:Aleksandar
Contributed to:
20142018
2019Wrote 3 papers:
- IJCAR-2014-ZeljicWR #approximate
- Approximations for Model Construction (AZ, CMW, PR), pp. 344–359.
- IJCAR-2018-ZeljicBWR #approximate #float #using
- Exploring Approximations for Floating-Point Arithmetic Using UppSAT (AZ, PB, CMW, PR), pp. 246–262.
- CAV-2019-KatzHIJLLSTWZDK #analysis #framework #network #verification
- The Marabou Framework for Verification and Analysis of Deep Neural Networks (GK, DAH, DI, KJ, CL, RL, PS, ST, HW0, AZ, DLD, MJK, CWB), pp. 443–452.