The following pages link to Frederik M. Bønneland (Q832026):
Displaying 6 items.
- Stubborn set reduction for timed reachability and safety games (Q832029) (← links)
- Stubborn versus structural reductions for Petri nets (Q1633343) (← links)
- (Q2280184) (redirect page) (← links)
- Simplification of CTL formulae for efficient model checking of Petri nets (Q2280185) (← links)
- (Q5856425) (← links)
- Partial order reduction for reachability games (Q5875384) (← links)
