Formal verification of multitask hybrid systems by the OTS/CafeOBJ method.

Masaki Nakamura Kazutoshi Sakakibara Yuki Okura Kazuhiro Ogata

Published in: SEKE (2021)

Keyphrases

formal verification
prior knowledge
hybrid systems
data mining
machine learning
artificial intelligence
decision trees
classification accuracy
support vector machine
semi supervised
complex systems
black box
meta learning