Delta-Complete Analysis for Bounded Reachability of Hybrid Systems.

Sicun Gao Soonho Kong Wei Chen Edmund M. Clarke

Published in: CoRR (2014)

Keyphrases

hybrid systems
neural network
artificial intelligence
data analysis
state space