Pages that link to "Item:Q3176362"
From MaRDI portal
The following pages link to Automata Theory and Model Checking (Q3176362):
Displayed 10 items.
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Certifying inexpressibility (Q2233423) (← 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)
- Multi-Valued Reasoning about Reactive Systems (Q5060674) (← links)
- On Repetition Languages (Q5089230) (← links)
- Calculational design of a regular model checker by abstract interpretation (Q5896884) (← links)
- Jumping automata over Infinite words (Q6088920) (← links)