Pages that link to "Item:Q3176362"
From MaRDI portal
The following pages link to Automata Theory and Model Checking (Q3176362):
Displaying 18 items.
- The design of checkable automata. II (Q799377) (← links)
- \(X\)-automata on \(\omega\)-words (Q1210539) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Certifying inexpressibility (Q2233423) (← links)
- Automata and finite model theory (Q2244824) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Temporal Logic and Fair Discrete Systems (Q3176360) (← links)
- Model Checking Procedural Programs (Q3176375) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- (Q3785947) (← links)
- (Q4209403) (← links)
- Multi-Valued Reasoning about Reactive Systems (Q5060674) (← links)
- On Repetition Languages (Q5089230) (← links)
- (Q5447361) (← links)
- Calculational design of a regular model checker by abstract interpretation (Q5896884) (← links)
- Jumping automata over Infinite words (Q6088920) (← links)
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism (Q6566473) (← links)
- Jumping automata over infinite words (Q6661761) (← links)