A Transition System Abstraction Framework for Neural Network Dynamical System Models

18 February 2024

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

2 / 2 papers shown

Title
A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems Yejiang Yang Zihao Mo Weiming Xiang 19 1 0 26 Apr 2023
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 293 0 09 Aug 2017