Pages that link to "Item:Q2089626"
From MaRDI portal
The following pages link to Optimization-based assessment of initial-state opacity in Petri nets (Q2089626):
Displaying 3 items.
- Current-state opacity modelling and verification in partially observed Petri nets (Q1987252) (← links)
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers (Q2197587) (← links)
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← links)