Formal Methods with a Touch of Magic

25 May 2020

Papers citing "Formal Methods with a Touch of Magic"

6 / 6 papers shown

Title
A Game of Pawns Guy Avni Pranav Ghorpade Shibashis Guha 15 3 0 06 May 2023
ASQ-IT: Interactive Explanations for Reinforcement-Learning Agents Yotam Amitai Guy Avni Ofra Amir 47 3 0 24 Jan 2023
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 35 18 0 08 Feb 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 45 26 0 06 Jan 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016