Isabella Kaufmann

Available identifiers

zbMath Open kaufmann.isabellaMaRDI QIDQ1662531

List of research outcomes

Publication	Date of Publication	Type
Synthesis for multi-weighted games with branching-time winning conditions	2022-09-01	Paper
Model checking and synthesis for branching multi-weighted logics	2019-06-20	Paper
A distributed fixed-point algorithm for extended dependency graphs	2018-10-02	Paper
Extended dependency graphs and efficient distributed fixed-point computation	2018-08-20	Paper

Research outcomes over time

This page was built for person: Isabella Kaufmann