Peter Gjøl Jensen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Elimination of detached regions in dependency graph verification Model Checking Software	2023-10-16	Paper
Monte Carlo tree search for priced timed automata Quantitative Evaluation of Systems	2023-06-02	Paper
Start pruning when time gets urgent: partial order reduction for timed systems Computer Aided Verification	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 Fundamenta Informaticae	2021-05-21	Paper
Stubborn set reduction for two-player reachability games (available as arXiv preprint)	2021-03-26	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 Journal of Logical and Algebraic Methods in Programming	2018-12-19	Paper
A distributed fixed-point algorithm for extended dependency graphs Fundamenta Informaticae	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 Model Checking Software	2016-06-22	Paper
On time with minimal expected cost! Automated Technology for Verification and Analysis	2015-12-17	Paper

Research outcomes over time

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