Frederik M. Bønneland

From MaRDI portal
Person:832026

Available identifiers

zbMath Open bonneland.frederik-meyerMaRDI QIDQ832026

List of research outcomes





PublicationDate of PublicationType
Start pruning when time gets urgent: partial order reduction for timed systems2023-05-26Paper
Partial order reduction for reachability games2023-02-03Paper
Stubborn set reduction for timed reachability and safety games2022-03-24Paper
https://portal.mardi4nfdi.de/entity/Q58564252021-03-26Paper
Simplification of CTL formulae for efficient model checking of Petri nets2019-12-18Paper
Stubborn versus structural reductions for Petri nets2018-12-19Paper

Research outcomes over time

This page was built for person: Frederik M. Bønneland

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:832026&oldid=10992608"
Powered by MediaWiki