Pages that link to "Item:Q5211280"
From MaRDI portal
The following pages link to Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach (Q5211280):
Displayed 6 items.
- Verification of approximate opacity for switched systems: a compositional approach (Q2060871) (← links)
- Enforcing current-state opacity through shuffle and deletions of event observations (Q2065172) (← links)
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
- Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'''' (Q2663851) (← links)
- Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (Q2665387) (← links)