Peter Gjøl Jensen

Available identifiers

Publication	Date of Publication	Type
Elimination of detached regions in dependency graph verification	2023-10-16	Paper
Monte Carlo tree search for priced timed automata	2023-06-02	Paper
Start pruning when time gets urgent: partial order reduction for timed systems	2023-05-26	Paper
Partial order reduction for reachability games	2023-02-03	Paper
Automata-driven partial order reduction and guided search for LTL model checking	2022-07-08	Paper
Faster pushdown reachability analysis with applications in network verification	2022-06-22	Paper
Stubborn set reduction for timed reachability and safety games	2022-03-24	Paper
Automatic synthesis of transiently correct network updates via Petri games	2022-03-21	Paper
Verification and parameter synthesis for real-time programs using refinement of trace abstraction	2021-05-21	Paper
Stubborn set reduction for two-player reachability games	2021-03-26	Paper
Simplification of CTL formulae for efficient model checking of Petri nets	2019-12-18	Paper
Stubborn versus structural reductions for Petri nets	2018-12-19	Paper
A distributed fixed-point algorithm for extended dependency graphs	2018-10-02	Paper
Refinement of trace abstraction for real-time programs	2017-12-20	Paper
PTrie: data structure for compressing and storing sets via prefix sharing	2017-11-03	Paper
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization	2016-06-22	Paper
On time with minimal expected cost!	2015-12-17	Paper

This page was built for person: Peter Gjøl Jensen