Pages that link to "Item:Q3512497"
From MaRDI portal
The following pages link to Ranking Automata and Games for Prioritized Requirements (Q3512497):
Displaying 11 items.
- Latticed-LTL synthesis in the presence of noisy inputs (Q1677194) (← links)
- On equilibria in quantitative games with reachability/safety objectives (Q1678747) (← links)
- Synthesizing robust systems (Q2249662) (← links)
- Reactive synthesis with maximum realizability of linear temporal logic specifications (Q2303876) (← links)
- A method for the automatic deduction of priority lists of entities and tasks from the design knowledge (Q2744894) (← links)
- Inherent Vacuity in Lattice Automata (Q2947173) (← links)
- Multiplayer Cost Games with Simple Nash Equilibria (Q3455836) (← links)
- On Omega-Languages Defined by Mean-Payoff Conditions (Q3617739) (← links)
- (Q5009445) (← links)
- Multi-Valued Reasoning about Reactive Systems (Q5060674) (← links)
- Minimizing Deterministic Lattice Automata (Q5892175) (← links)