A Transition System Abstraction Framework for Neural Network Dynamical
System Models

A Transition System Abstraction Framework for Neural Network Dynamical System Models

18 February 2024

Hoang-Dung Tran

ArXiv (abs)PDF HTML

Papers citing "A Transition System Abstraction Framework for Neural Network Dynamical System Models"

7 / 7 papers shown

Title
PaLM: Scaling Language Modeling with Pathways Aakanksha Chowdhery Sharan Narang Jacob Devlin Maarten Bosma Gaurav Mishra ... Kathy Meier-Hellstern Douglas Eck J. Dean Slav Petrov Noah Fiedel PILM LRM 495 6,240 0 05 Apr 2022
Neural Hybrid Automata: Learning Dynamics with Multiple Modes and Stochastic Transitions Michael Poli Stefano Massaroli Luca Scimeca Seong Joon Oh Sanghyuk Chun Atsushi Yamashita Hajime Asama Jinkyoo Park Animesh Garg AI4TS AI4CE 316 6 0 08 Jun 2021
Interpretable Deep Learning: Interpretation, Interpretability, Trustworthiness, and Beyond Xuhong Li Haoyi Xiong Xingjian Li Xuanyu Wu Xiao Zhang Ji Liu Jiang Bian Dejing Dou AAML FaML XAI HAI 67 333 0 19 Mar 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho-Jui Hsieh Zico Kolter 114 199 0 11 Mar 2021
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems Hoang-Dung Tran Xiaodong Yang Diego Manzanas Lopez Patrick Musau L. V. Nguyen Weiming Xiang Stanley Bak Taylor T. Johnson 95 243 0 12 Apr 2020
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming Mahyar Fazlyab M. Morari George J. Pappas AAML 79 232 0 04 Mar 2019
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 108 294 0 09 Aug 2017