Bounded Verification of Reachability of Probabilistic Hybrid Systems.

Ratan Lal Pavithra Prabhakar

Published in: QEST (2018)

Keyphrases

test set
hybrid systems
black box
intelligent systems
neural network
computational intelligence
meta learning
discrete event
artificial intelligence
soft computing
bayesian networks
expert systems
state space
fuzzy sets
data management
service oriented
knowledge base
simulation model