Pages that link to "Item:Q418123"
From MaRDI portal
The following pages link to Improved model checking of hierarchical systems (Q418123):
Displayed 9 items.
- Model checking properties on reduced trace systems (Q1736621) (← links)
- CTL\(^\ast\) with graded path modalities (Q1784942) (← links)
- Improving parity games in practice (Q2043434) (← links)
- Hierarchical cost-parity games (Q2210523) (← links)
- Solving Parity Games Using an Automata-Based Algorithm (Q2830208) (← links)
- Hierarchical Network Formation Games (Q3303895) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
- A Parametrized Analysis of Algorithms on Hierarchical Graphs (Q5205039) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)