Pages that link to "Item:Q458386"
From MaRDI portal
The following pages link to Probabilistic opacity for Markov decision processes (Q458386):
Displaying 9 items.
- The complexity of synchronous notions of information flow security (Q278742) (← links)
- Accurate approximate diagnosis of (controllable) stochastic systems (Q832093) (← links)
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Opacity for linear constraint Markov chains (Q1745942) (← links)
- Enforcement of opacity by public and private insertion functions (Q1797032) (← links)
- Information control in networked discrete event systems and its application to battery management systems (Q2197580) (← links)
- Enforcing opacity of regular predicates on modal transition systems (Q2348369) (← links)
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182) (← links)
- (Q5136302) (← links)