Florian Funke

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Probabilistic causes in Markov chains.

Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier

Innov. Syst. Softw. Eng., 2022

On probability-raising causality in Markov decision processes.

Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek

Proceedings of the Foundations of Software Science and Computation Structures, 2022

Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.

Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

Operational Causality - Necessarily Sufficient and Sufficiently Necessary.

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

From Verification to Causality-based Explications.

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek

CoRR, 2021

The Orbit Problem for Parametric Linear Dynamical Systems.

Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell

CoRR, 2021

Responsibility and verification: Importance value in temporal logics.

Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

A Game-Theoretic Account of Responsibility Allocation.

Christel Baier, Florian Funke, Rupak Majumdar

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

From Verification to Causality-Based Explications (Invited Talk).

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

The Orbit Problem for Parametric Linear Dynamical Systems.

Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Causality-Based Game Solving.

Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Responsibility Attribution in Parameterized Markovian Models.

Christel Baier, Florian Funke, Rupak Majumdar

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints.

Florian Funke, Simon Jantsch, Christel Baier

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Reachability in Dynamical Systems with Rounding.

Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

Switss: Computing Small Witnessing Subsystems.

Simon Jantsch, Hans Harder, Florian Funke, Christel Baier

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Minimal Witnesses for Probabilistic Timed Automata.

Simon Jantsch, Florian Funke, Christel Baier

Proceedings of the Automated Technology for Verification and Analysis, 2020