Florian Funke

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