A new approach for the verification of infinite-step and K-step opacity using two-way observers.

Xiang Yin Stéphane Lafortune

Published in: Autom. (2017)

Keyphrases

e learning
computer science
probability distribution
data sets
databases
reinforcement learning
learning environment
artificial neural networks
post processing