Parallel Reachability Analysis for Hybrid Systems.

Amit Gurung Arup Deka Ezio Bartocci Sergiy Bogomolov Radu Grosu Rajarshi Ray

Published in: CoRR (2016)

Keyphrases

hybrid systems
reachability analysis
black box
markov decision processes
intelligent systems
model checking
neural network
discrete event
meta learning
soft computing
artificial intelligence
computational intelligence
timed automata
incremental algorithms
state space
relational databases
expert systems