Pages that link to "Item:Q2348371"
From MaRDI portal
The following pages link to Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems (Q2348371):
Displayed 7 items.
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Enforcement of opacity by public and private insertion functions (Q1797032) (← links)
- Diagnosability of fair transition systems (Q2152493) (← links)
- Verification of opacity and diagnosability for pushdown systems (Q2375627) (← links)
- State-based opacity of labeled real-time automata (Q6122597) (← links)
- Game current-state opacity formulation in probabilistic resource automata (Q6125209) (← links)
- Enforcing opacity by insertion functions under multiple energy constraints (Q6198145) (← links)