Florian Funke

  • Technical University Dresden, Germany

According to our database1, Florian Funke authored at least 16 papers between 2020 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:

On csauthors.net:


Probabilistic causes in Markov chains.
Innov. Syst. Softw. Eng., 2022

On probability-raising causality in Markov decision processes.
Proceedings of the Foundations of Software Science and Computation Structures, 2022

Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.
Proceedings of the 33rd International Conference on Concurrency Theory, 2022

Operational Causality - Necessarily Sufficient and Sufficiently Necessary.
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

From Verification to Causality-based Explications.
CoRR, 2021

The Orbit Problem for Parametric Linear Dynamical Systems.
CoRR, 2021

Responsibility and verification: Importance value in temporal logics.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

A Game-Theoretic Account of Responsibility Allocation.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

From Verification to Causality-Based Explications (Invited Talk).
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

The Orbit Problem for Parametric Linear Dynamical Systems.
Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Causality-Based Game Solving.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Responsibility Attribution in Parameterized Markovian Models.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Reachability in Dynamical Systems with Rounding.
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

Switss: Computing Small Witnessing Subsystems.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Minimal Witnesses for Probabilistic Timed Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2020