Pages that link to "Item:Q436610"
From MaRDI portal
The following pages link to Efficient inclusion testing for simple classes of unambiguous \(\omega \)-automata (Q436610):
Displaying 6 items.
- Testing language containment for \(\omega\)-automata using BDDs (Q1891138) (← links)
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata (Q2147688) (← links)
- Process-centric views of data-driven business artifacts (Q2396822) (← links)
- Short Witnesses and Accepting Lassos in ω-Automata (Q3564867) (← links)
- Markov chains and unambiguous automata (Q6098148) (← links)
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata (Q6535954) (← links)