OpenAlex | A new approach for the verification of infinite-step and<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si9.gif" display="inline" overflow="scroll"><mml:mi>K</mml:mi></mml:math>-step opacity using two-way observers

A new approach for the verification of infinite-step andK-step opacity using two-way observers

Work

Year: 2017

Type: article

Source: Automatica

Authors Xiang Yin, Stéphane Lafortune

Institutions Shanghai Jiao Tong University, University of Michigan–Ann Arbor

Cites: 38

Cited by: 119

Related to: 10

FWCI: 10.58

Citation percentile (by year/subfield): 100

Topic: Security and Verification in Computing

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed