Generalized Property-Directed Reachability for Hybrid Systems.

Kohei Suenaga Takuya Ishizawa

Published in: CoRR (2019)

Keyphrases

hybrid systems
black box
intelligent systems
neural network
discrete event
meta learning
soft computing
artificial intelligence
computational intelligence
state space
web services
evolutionary algorithm
data model
simulation model
inductive learning