1 paper · 1 filter
Stefan Haar, Tomáš Masopust, Jakub VeÄeÅa
We study the secret protection problem (SPP), where the objective is to find a policy of minimal cost ensuring that every execution path from an initial state to a secret state con…