A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems

26 April 2023

Papers citing "A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems"

2 / 2 papers shown

Title
A Transition System Abstraction Framework for Neural Network Dynamical System Models Yejiang Yang Zihao Mo Hoang-Dung Tran Weiming Xiang 30 0 0 18 Feb 2024
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