The following pages link to Henri Hansen (Q1708657):
Displayed 14 items.
- Safety property-driven stubborn sets (Q1708658) (← links)
- Abstractions for transition systems with applications to stubborn sets (Q1708713) (← links)
- Retaliation in bitcoin networks (Q2036935) (← links)
- A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time (Q2453113) (← links)
- Old and New Algorithms for Minimal Coverability Sets (Q2908208) (← links)
- On the Origin of Events: Branching Cells as Stubborn Sets (Q3011891) (← links)
- (Q3225722) (← links)
- Can Stubborn Sets Be Optimal? (Q3569861) (← links)
- Exploring the Scope for Partial Order Reduction (Q3648689) (← links)
- Stubborn Set Intuition Explained (Q4994076) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308401) (← links)
- Old and New Algorithms for Minimal Coverability Sets (Q5415298) (← links)
- Operational Determinism and Fast Algorithms (Q5756602) (← links)
- Model Checking Software (Q5899036) (← links)