Verifying Selective CPS Transformation for Shift and Reset.

Chiaki Ishio Kenichi Asai

Published in: TFP (2019)

Keyphrases

model checking
linear transformation
neural network
information retrieval
high level
medical images
database
real world
predictive state representations