Time Robustness in MTL and Expressivity in Hybrid System Falsification.

Takumi Akazaki Ichiro Hasuo

Published in: CAV (2) (2015)

Keyphrases

multi task learning
artificial intelligence
data sets
real time
neural network
decision trees
artificial neural networks
database
genetic algorithm
case study
hybrid systems