Pages that link to "Item:Q1693819"

The following pages link to Supervisory control and reactive synthesis: a comparative introduction (Q1693819):

Displaying 2 items.

• Synthesis of obfuscation policies to ensure privacy and utility (Q682359) (← links)
• Falsification of combined invariance and reachability specifications in hybrid control systems (Q1693831) (← links)