Work

Improved Synthesis of Nondeterministic Publicly Known Edit Functions for Opacity Enforcement

Year: 2025

Type: article

Source: IEEE Transactions on Automatic Control

DOI: 10.1109/tac.2025.3566922

Authors: Rongjian Liu, Christoforos N. Hadjicostis

Institutions: Chongqing Normal University, University of Cyprus

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Natural Science Foundation of China, Fundamental Research Funds for the Central Universities

Awards: G4653112851, G5986735697, G6005707653, G8718091638

OpenAlex ID: W4410086601

FWCI: 2.417

Cites: 30

Cited by: 5

Related to: 10