Pages that link to "Item:Q5423882"
From MaRDI portal
The following pages link to Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL (Q5423882):
Displayed 4 items.
- Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy (Q3000659) (← links)
- The Causal Graph Revisited for Directed Model Checking (Q3392922) (← links)
- Transition-Based Directed Model Checking (Q3617760) (← links)
- Fast Directed Model Checking Via Russian Doll Abstraction (Q5458328) (← links)