Florian Funke

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reachability in dynamical systems with rounding	2026-03-23	Paper
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications	2024-08-13	Paper
On probability-raising causality in Markov decision processes Lecture Notes in Computer Science	2024-01-23	Paper
scientific article; zbMATH DE number 7730630 (Why is no real title available?) (available as arXiv preprint)	2023-08-21	Paper
Operational causality -- necessarily sufficient and sufficiently necessary Lecture Notes in Computer Science	2023-07-26	Paper
Minimal Witnesses for Probabilistic Timed Automata 1517.682	2022-12-22	Paper
Farkas certificates and minimal witnesses for probabilistic reachability constraints Tools and Algorithms for the Construction and Analysis of Systems	2022-10-13	Paper
Probabilistic causes in Markov chains (available as arXiv preprint)	2022-06-22	Paper
Causality-based game solving (available as arXiv preprint)	2022-03-25	Paper
The integral polytope group advg	2021-04-20	Paper
Farkas certificates and minimal witnesses for probabilistic reachability constraints (available as arXiv preprint)	2019-10-23	Paper
The \(L^2\)-torsion polytope of amenable groups Documenta Mathematica	2019-01-14	Paper
Alexander and Thurston norms, and the Bieri-Neumann-Strebel invariants for free-by-cyclic groups Geometry & Topology	2018-06-08	Paper
The Grothendieck group of polytopes and norms (available as arXiv preprint)	2017-06-09	Paper

Research outcomes over time

This page was built for person: Florian Funke