Florian Funke

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 26

Top Topics

Markov Decision Process

Dynamical Systems

Top Venues

Publications

Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek
On probability-raising causality in Markov decision processes. FoSSaCS (2022)
Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier
Probabilistic causes in Markov chains. Innov. Syst. Softw. Eng. 18 (3) (2022)
Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek
On probability-raising causality in Markov decision processes. CoRR (2022)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Operational Causality - Necessarily Sufficient and Sufficiently Necessary. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. CONCUR (2022)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Causality-Based Game Solving. CAV (1) (2021)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Causality-Based Game Solving. CoRR (2021)
Christel Baier, Florian Funke, Rupak Majumdar
A Game-Theoretic Account of Responsibility Allocation. CoRR (2021)
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
Responsibility and verification: Importance value in temporal logics. CoRR (2021)
Christel Baier, Florian Funke, Rupak Majumdar
A Game-Theoretic Account of Responsibility Allocation. IJCAI (2021)
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Probabilistic causes in Markov chains. CoRR (2021)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-based Explications. CoRR (2021)
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
Responsibility and verification: Importance value in temporal logics. LICS (2021)
Christel Baier, Florian Funke, Rupak Majumdar
Responsibility Attribution in Parameterized Markovian Models. AAAI (2021)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-Based Explications (Invited Talk). ICALP (2021)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
The Orbit Problem for Parametric Linear Dynamical Systems. CONCUR (2021)
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Probabilistic Causes in Markov Chains. ATVA (2021)
Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
The Orbit Problem for Parametric Linear Dynamical Systems. CoRR (2021)
Simon Jantsch, Hans Harder, Florian Funke, Christel Baier
Switss: Computing Small Witnessing Subsystems. FMCAD (2020)
Simon Jantsch, Florian Funke, Christel Baier
Minimal Witnesses for Probabilistic Timed Automata. ATVA (2020)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Reachability in Dynamical Systems with Rounding. CoRR (2020)
Simon Jantsch, Hans Harder, Florian Funke, Christel Baier
SWITSS: Computing Small Witnessing Subsystems. CoRR (2020)
Simon Jantsch, Florian Funke, Christel Baier
Minimal witnesses for probabilistic timed automata. CoRR (2020)
Florian Funke, Simon Jantsch, Christel Baier
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints. TACAS (1) (2020)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Reachability in Dynamical Systems with Rounding. FSTTCS (2020)
Florian Funke, Simon Jantsch, Christel Baier
Farkas certificates and minimal witnesses for probabilistic reachability constraints. CoRR (2019)