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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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