The following pages link to Peter Gjøl Jensen (Q1675811):
Displaying 15 items.
- (Q832027) (redirect page) (← links)
- Stubborn set reduction for timed reachability and safety games (Q832029) (← links)
- Stubborn versus structural reductions for Petri nets (Q1633343) (← links)
- PTrie: data structure for compressing and storing sets via prefix sharing (Q1675812) (← links)
- Refinement of trace abstraction for real-time programs (Q1685776) (← links)
- Automatic synthesis of transiently correct network updates via Petri games (Q2117163) (← links)
- Faster pushdown reachability analysis with applications in network verification (Q2147193) (← links)
- Automata-driven partial order reduction and guided search for LTL model checking (Q2152647) (← links)
- Simplification of CTL formulae for efficient model checking of Petri nets (Q2280185) (← links)
- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization (Q2814624) (← links)
- On Time with Minimal Expected Cost! (Q3457785) (← links)
- A Distributed Fixed-Point Algorithm for Extended Dependency Graphs* (Q4686522) (← links)
- Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* (Q4989166) (← links)
- (Q5856425) (← links)
- Partial order reduction for reachability games (Q5875384) (← links)
