Ieva Daukantas

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 5

Top Topics

Robust Stability

Top Venues

Publications

Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates. CoRR (2024)
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Kerianne Hobbs, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
Safe and Reliable Training of Learning-Based Aerospace Controllers. CoRR (2024)
Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett
Towards Efficient Verification of Quantized Neural Networks. AAAI (2024)
Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett
Towards Efficient Verification of Quantized Neural Networks. CoRR (2023)
Ieva Daukantas, Alessandro Bruni, Carsten Schürmann
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. PPDP (2021)
Pei Huang, Yuting Yang, Haoze Wu, Ieva Daukantas, Min Wu, Fuqi Jia, Clark W. Barrett
Parallel Verification for δ-Equivalence of Neural Network Quantization. SAIV (2014)