The following pages link to (Q5856425):
Displaying 7 items.
- Stubborn set reduction for timed reachability and safety games (Q832029) (← links)
- Automata-driven partial order reduction and guided search for LTL model checking (Q2152647) (← links)
- Exponential automatic amortized resource analysis (Q2200835) (← links)
- Stubborn Sets, Frozen Actions, and Fair Testing (Q4989170) (← links)
- (Q5155669) (← links)
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems (Q5164176) (← links)
- Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods (Q6649454) (← links)