Pages that link to "Item:Q2177781"
From MaRDI portal
The following pages link to On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781):
Displaying 4 items.
- On-the-fly informed search of non-blocking directed controllers (Q2103713) (← links)
- On tolerance of discrete systems with respect to transition perturbations (Q6201386) (← links)
- Synthesizing permissive winning strategy templates for parity games (Q6535644) (← links)
- Fast symbolic algorithms for omega-regular games under strong transition fairness (Q6566589) (← links)
