Pages that link to "Item:Q6485860"
From MaRDI portal
The following pages link to Practical “Paritizing” of Emerson-Lei Automata (Q6485860):
Displaying 5 items.
- Dissecting \texttt{ltlsynt} (Q6151759) (← links)
- From Spot 2.0 to Spot 2.10: What’s New? (Q6487335) (← links)
- Practical applications of the alternating cycle decomposition (Q6535610) (← links)
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism (Q6566473) (← links)
- Symbolic solution of Emerson-Lei games for reactive synthesis (Q6629450) (← links)