Pages that link to "Item:Q1996872"

The following pages link to Computer says no: verdict explainability for runtime monitors using a local proof system (Q1996872):

Displaying 3 items.

• A theory of monitors (Q2051767) (← links)
• Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741) (← links)
• On first-order runtime enforcement of branching-time properties (Q6090988) (← links)