Pages that link to "Item:Q458885"

The following pages link to On the complexity of synthesizing a minimum-weighted supervisor under partial observation (Q458885):

Displayed 1 item.

• Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) ‎ (← links)