PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
February 29, 2024IEEE Transactions on Automatic Control0 citations

Correction to “Current-State Opacity Formulations in Probabilistic Finite Automata” Jan 14 120-133

View Full Paper
ASAnooshiravan SabooriSnowflake Inc. (United States)CHChristoforos N. HadjicostisUniversity of Cyprus

Key Points

Key points are not available for this paper at this time.

Abstract

This note identifies a flaw in the proof of Theorem 16 in (Saboori and Hadjicostis, 2014). It also discusses how the statement of Theorem 16 can be adjusted and provides the corresponding proof.

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Saboori et al. (2024) studied this question.

synapsesocial.com/papers/68e76f9cb6db6435876e5085https://doi.org/10.1109/tac.2024.3371912
Ask AI
Helpful
Bookmark
Share
View Full Paper