Pages that link to "Item:Q5277790"
From MaRDI portal
The following pages link to A game-based framework for CTL counterexamples and 3-valued abstraction-refinement (Q5277790):
Displayed 7 items.
- Multi-valued model checking games (Q414899) (← links)
- Improved model checking of hierarchical systems (Q418123) (← links)
- Producing explanations for rich logics (Q2024339) (← links)
- Generalized abstraction-refinement for game-based CTL lifted model checking (Q2193289) (← links)
- Compositional verification and 3-valued abstractions join forces (Q2266991) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)