35 citations · 93 across the 12 of their papers we have counts for
3 papers · 1 filter
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…
Refactoring Neural Networks for Verification
David Shriver, Dong Xu, Sebastian Elbaum +1
Deep neural networks (DNN) are growing in capability and applicability. Their effectiveness has led to their use in safety critical and autonomous systems, yet there is a dearth of…
SymInfer: Inferring Program Invariants using Symbolic States
ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser
We introduce a new technique for inferring program invariants that uses symbolic states generated by symbolic execution. Symbolic states, which consist of path conditions and const…