Abstract: This work addresses the verification of current-state opacity with respect to a real-time observation generated from time-dependent systems. The secret behavior of a time-dependent system is ...
Abstract: NASA’s Deep Space Network (DSN) is a globally-spanning communications network responsible for supporting the interplanetary spacecraft missions of NASA and other international users. The DSN ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results