Florian Funke

Available identifiers

zbMath Open funke.florianMaRDI QIDQ832239

List of research outcomes

Publication	Date of Publication	Type
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications	2024-08-13	Paper
On probability-raising causality in Markov decision processes	2024-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q6134272	2023-08-21	Paper
Operational causality -- necessarily sufficient and sufficiently necessary	2023-07-26	Paper
Minimal Witnesses for Probabilistic Timed Automata	2022-12-22	Paper
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints	2022-10-13	Paper
Probabilistic causes in Markov chains	2022-06-22	Paper
Causality-based game solving	2022-03-25	Paper
The integral polytope group	2021-04-20	Paper
Farkas certificates and minimal witnesses for probabilistic reachability constraints	2019-10-23	Paper
The \(L^2\)-torsion polytope of amenable groups	2019-01-14	Paper
Alexander and Thurston norms, and the Bieri-Neumann-Strebel invariants for free-by-cyclic groups	2018-06-08	Paper
The Grothendieck group of polytopes and norms	2017-06-09	Paper

Research outcomes over time

This page was built for person: Florian Funke