A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems.

Shuling Wang Naijun Zhan Lijun Zhang

Published in: Formal Aspects Comput. (2017)

Keyphrases

hybrid systems
intelligent systems
black box
meta learning
artificial intelligence
multi class
discrete event
machine learning
knowledge base
software engineering
design patterns