Pages that link to "Item:Q4366878"
From MaRDI portal
The following pages link to An Efficient Algorithm for Controller Synthesis under Full Observation (Q4366878):
Displaying 5 items.
- Control of parameterized discrete event systems (Q839004) (← links)
- Controller synthesis for net condition/event systems with a solution for incomplete state observation (Q1383474) (← links)
- Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller (Q2797617) (← links)
- Minimum Attention Controller Synthesis for Omega-Regular Objectives (Q3172849) (← links)
- (Q5020996) (← links)