Pages that link to "Item:Q513185"
From MaRDI portal
The following pages link to Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185):
Displaying 5 items.
- On bidirectional runtime enforcement (Q2117010) (← links)
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741) (← links)
- On first-order runtime enforcement of branching-time properties (Q6090988) (← links)
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications (Q6198141) (← links)
- Runtime composition of systems of interacting cyber-physical components (Q6562520) (← links)
