Person:1675811

Available identifiers

zbMath Open jensen.peter-gjolMaRDI QIDQ1675811

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q5856425	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

Research outcomes over time

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