A general language-based framework for specifying and verifying notions of opacity (Journal Article) | NSF PAGES

skip to main content

Attention:

The NSF Public Access Repository (NSF-PAR) system and access will be unavailable from 11:00 PM ET on Friday, September 13 until 2:00 AM ET on Saturday, September 14 due to maintenance. We apologize for the inconvenience.

Citation Details

A general language-based framework for specifying and verifying notions of opacity

Award ID(s):: 1801342

NSF-PAR ID:: 10358109

Author(s) / Creator(s):: Wintenberg, Andrew; Blischke, Matthew; Lafortune, Stéphane; Ozay, Necmiye

Date Published:: 2022-06-01

Journal Name:: Discrete Event Dynamic Systems

Volume:: 32

Issue:: 2

ISSN:: 0924-6703

Page Range / eLocation ID:: 253 to 289

Format(s):: Medium: X

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Journal Article:
https://doi.org/10.1007/s10626-021-00357-x