35 citations · 93 across the 12 of their papers we have counts for
3 papers · 1 filter
A DPLL(T) Framework for Verifying Deep Neural Networks
Hai Duong, ThanhVu Nguyen, Matthew Dwyer
Deep Neural Networks (DNNs) have emerged as an effective approach to tackling real-world problems. However, like human-written software, DNNs can have bugs and can be attacked. To…
DNNV: A Framework for Deep Neural Network Verification
David Shriver, Sebastian Elbaum, Matthew B. Dwyer
Despite the large number of sophisticated deep neural network (DNN) verification algorithms, DNN verifier developers, users, and researchers still face several challenges. First, v…
Formal Language Constraints for Markov Decision Processes
Eleanor Quint, Dong Xu, Samuel Flint +2
In order to satisfy safety conditions, an agent may be constrained from acting freely. A safe controller can be designed a priori if an environment is well understood, but not when…