Pages that link to "Item:Q2643076"
From MaRDI portal
The following pages link to When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus (Q2643076):
Displaying 9 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Improved model checking of hierarchical systems (Q418123) (← links)
- Model checking properties on reduced trace systems (Q1736621) (← links)
- Compositional verification and 3-valued abstractions join forces (Q2266991) (← links)
- Conway Games, Coalgebraically (Q2888495) (← links)
- Equivalences and Congruences on Infinite Conway Games (Q2889179) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- (Q5089290) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)
