Generalized Property-Directed Reachability for Hybrid Systems.

Kohei Suenaga Takuya Ishizawa

Published in: VMCAI (2020)

Keyphrases

hybrid systems
black box
meta learning
intelligent systems
soft computing
neural network
discrete event
computational intelligence
artificial intelligence
fuzzy logic
state space
dynamical systems
machine learning
transfer learning
artificial neural networks
training set
feature space