Papers citing 'Formal Verification of Markov Processes with Learned Parameters'

Title
Efficient Sensitivity Analysis for Parametric Robust Markov ChainsInternational Conference on Computer Aided Verification (CAV), 2023 Thom S. Badings Sebastian Junges Ahmadreza Marandi Ufuk Topcu N. Jansen 108 2 0 01 May 2023
Provably Bounding Neural Network PreimagesNeural Information Processing Systems (NeurIPS), 2023 Suhas Kotha Christopher Brix Zico Kolter Krishnamurthy Dvijotham Huan Zhang AAML 368 21 0 02 Feb 2023
Neural Network Verification as Piecewise Linear Optimization: Formulations for the Composition of Staircase Functions Tu Anh-Nguyen Joey Huchette 134 2 0 27 Nov 2022
On the convex formulations of robust Markov decision processesMathematics of Operations Research (MOR), 2022 Julien Grand-Clément Marek Petrik 189 11 0 21 Sep 2022
General Cutting Planes for Bound-Propagation-Based Neural Network VerificationNeural Information Processing Systems (NeurIPS), 2022 Huan Zhang Shiqi Wang Kaidi Xu Linyi Li Yue Liu Suman Jana Cho-Jui Hsieh J. Zico Kolter 174 119 0 11 Aug 2022
Between steps: Intermediate relaxations between big-M and convex hull formulationsIntegration of AI and OR Techniques in Constraint Programming (CPAIOR), 2021 Jan Kronqvist Ruth Misener Calvin Tsay 126 17 0 29 Jan 2021
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network VerificationNeural Information Processing Systems (NeurIPS), 2020 Christian Tjandraatmadja Ross Anderson Joey Huchette Will Ma Krunal Patel J. Vielma AAML 181 95 0 24 Jun 2020
PyTorch: An Imperative Style, High-Performance Deep Learning LibraryNeural Information Processing Systems (NeurIPS), 2019 Adam Paszke Sam Gross Francisco Massa Adam Lerer James Bradbury ... Sasank Chilamkurthy Benoit Steiner Lu Fang Junjie Bai Soumith Chintala ODL 924 47,917 0 03 Dec 2019
Strong mixed-integer programming formulations for trained neural networksMathematical programming (Math. Program.), 2018 Ross Anderson Joey Huchette Christian Tjandraatmadja J. Vielma 354 281 0 20 Nov 2018
Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng Georg Nührenberg Harald Ruess AAML 357 295 0 28 Apr 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural NetworksInternational Conference on Computer Aided Verification (CAV), 2017 Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 727 1,982 0 03 Feb 2017
Sensitivity analysis for finite Markov chains in discrete timeConference on Uncertainty in Artificial Intelligence (UAI), 2008 G. Cooman Filip Hermans Erik Quaeghebeur 113 10 0 09 Aug 2014
Intriguing properties of neural networksInternational Conference on Learning Representations (ICLR), 2013 Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 591 15,874 1 21 Dec 2013