Monitor Synthesis for Parametric MTL Properties in Discrete Control Software.

Hao Shi Wei Dong Ge Zhou Liangze Yin

Published in: QRS Companion (2017)

Keyphrases

control software
real time
data sets
neural network
reinforcement learning
structural properties
desirable properties
multi task learning
topological properties
discrete space
discrete version