


default search action
Christel Baier
Person information
- affiliation: Dresden University of Technology, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j76]Christel Baier
, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
:
Entropic risk for turn-based stochastic games. Inf. Comput. 301: 105214 (2024) - [j75]Clemens Dubslaff, Kallistos Weis, Christel Baier
, Sven Apel
:
Feature causality. J. Syst. Softw. 209: 111915 (2024) - [j74]Christel Baier
, Jakob Piribauer
, Robin Ziemek
:
Foundations of probability-raising causality in Markov decision processes. Log. Methods Comput. Sci. 20(1) (2024) - [j73]Jakob Piribauer
, Christel Baier:
Positivity-hardness results on Markov decision processes. TheoretiCS 3 (2024) - [c165]Christel Baier
, Roxane van den Bossche, Sascha Klüppelholz
, Johannes Lehmann
, Jakob Piribauer
:
Backward Responsibility in Transition Systems Using General Power Indices. AAAI 2024: 20320-20327 - [c164]Rajab Aghamov
, Christel Baier
, Toghrul Karimov
, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer
, Mihir Vahanwala:
Model Checking Markov Chains as Distribution Transformers. Principles of Verification (2) 2024: 293-313 - [c163]Christel Baier, Jakob Piribauer, Maximilian Starke:
Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures. CONCUR 2024: 9:1-9:20 - [c162]Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann:
A Spectrum of Approximate Probabilistic Bisimulations. CONCUR 2024: 37:1-37:19 - [c161]Rajab Aghamov
, Christel Baier
, Toghrul Karimov
, Joël Ouaknine
, Jakob Piribauer
:
Linear dynamical systems with continuous weight functions. HSCC 2024: 22:1-22:11 - [c160]Christel Baier
, Calvin Chau
, Sascha Klüppelholz
:
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes. QEST+FORMATS 2024: 1-18 - [d9]Christel Baier
, Calvin Chau
, Sascha Klüppelholz:
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact. Zenodo, 2024 - [d8]Christel Baier
, Calvin Chau
, Sascha Klüppelholz:
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact. Zenodo, 2024 - [i46]Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer:
Backward Responsibility in Transition Systems Using General Power Indices. CoRR abs/2402.01539 (2024) - [i45]Christel Baier, Calvin Chau, Sascha Klüppelholz:
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes. CoRR abs/2406.08175 (2024) - [i44]Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala:
Model Checking Markov Chains as Distribution Transformers. CoRR abs/2406.15087 (2024) - [i43]Christel Baier, Jakob Piribauer, Maximilian Starke:
Risk-averse optimization of total rewards in Markovian models using deviation measures. CoRR abs/2407.06887 (2024) - [i42]Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann:
A Spectrum of Approximate Probabilistic Bisimulations. CoRR abs/2407.07584 (2024) - [i41]Christel Baier, Sascha Klüppelholz, Johannes Lehmann:
Responsibility in Actor-Based Systems. CoRR abs/2412.05162 (2024) - [i40]Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek:
Formal Quality Measures for Predictors in Markov Decision Processes. CoRR abs/2412.11754 (2024) - 2023
- [j72]Tobias John
, Simon Jantsch
, Christel Baier
, Sascha Klüppelholz
:
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. Innov. Syst. Softw. Eng. 19(2): 227-229 (2023) - [j71]Christel Baier
, Stefan Kiefer, Joachim Klein, David Müller, James Worrell:
Markov chains and unambiguous automata. J. Comput. Syst. Sci. 136: 113-134 (2023) - [j70]Philipp Chrszon
, Christel Baier
, Clemens Dubslaff, Sascha Klüppelholz
:
Interaction detection in configurable systems - A formal approach featuring roles. J. Syst. Softw. 196: 111556 (2023) - [j69]Christel Baier:
Verification Column. ACM SIGLOG News 10(2): 3 (2023) - [j68]Christel Baier:
Verification Column. ACM SIGLOG News 10(3): 3 (2023) - [j67]Christel Baier:
Verification Column. ACM SIGLOG News 10(4): 24 (2023) - [c159]Hans Harder, Simon Jantsch, Christel Baier
, Clemens Dubslaff:
A Unifying Formal Approach to Importance Values in Boolean Functions. IJCAI 2023: 2728-2737 - [c158]Patrick Wienhöft
, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier
, Nils Jansen
:
More for Less: Safe Policy Improvement with Stronger Performance Guarantees. IJCAI 2023: 4406-4415 - [c157]Christel Baier
, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
:
Entropic Risk for Turn-Based Stochastic Games. MFCS 2023: 15:1-15:16 - [c156]Christel Baier
, Clemens Dubslaff, Patrick Wienhöft
, Stefan J. Kiebel:
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. NFM 2023: 86-103 - [c155]Max Korn
, Julián Méndez
, Sascha Klüppelholz
, Ricardo Langner
, Christel Baier
, Raimund Dachselt
:
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking. SEFM 2023: 361-375 - [c154]Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft
, Christel Baier
, Frank H. P. Fitzek
, Stefan J. Kiebel, Johannes Lehmann
:
Towards a Formal Account on Negative Latency. AISoLA 2023: 188-214 - [c153]Julie Parreaux, Jakob Piribauer
, Christel Baier
:
Counterfactual Causality for Reachability and Safety based on Distance Functions. GandALF 2023: 132-149 - [d7]Clemens Dubslaff
, Kallistos Weis, Christel Baier
, Sven Apel
:
FeatCause - Sources and Data. Version 2. Zenodo, 2023 [all versions] - [d6]Max Korn
, Julián Méndez
, Sascha Klüppelholz
, Ricardo Langner
, Christel Baier
, Raimund Dachselt
:
Interactive Visualization Meets Probabilistic Model Checking Artifact. Version 1. Zenodo, 2023 [all versions] - [d5]Max Korn
, Julián Méndez
, Sascha Klüppelholz
, Ricardo Langner
, Christel Baier
, Raimund Dachselt
:
Interactive Visualization Meets Probabilistic Model Checking Artifact. Version 2. Zenodo, 2023 [all versions] - [i39]Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer:
On the Foundations of Cycles in Bayesian Networks. CoRR abs/2301.08608 (2023) - [i38]Jakob Piribauer
, Christel Baier:
Positivity-hardness results on Markov decision processes. CoRR abs/2302.13675 (2023) - [i37]Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel:
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. CoRR abs/2303.12718 (2023) - [i36]Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
:
More for Less: Safe Policy Improvement With Stronger Performance Guarantees. CoRR abs/2305.07958 (2023) - [i35]Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff:
A Unifying Formal Approach to Importance Values in Boolean Functions. CoRR abs/2305.08103 (2023) - [i34]Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer:
Entropic Risk for Turn-Based Stochastic Games. CoRR abs/2307.06611 (2023) - [i33]Julie Parreaux, Jakob Piribauer
, Christel Baier:
Counterfactual Causality for Reachability and Safety based on Distance Functions. CoRR abs/2308.11385 (2023) - 2022
- [j66]Robin Ziemek
, Jakob Piribauer
, Florian Funke, Simon Jantsch, Christel Baier
:
Probabilistic causes in Markov chains. Innov. Syst. Softw. Eng. 18(3): 347-367 (2022) - [j65]Tobias John
, Simon Jantsch
, Christel Baier
, Sascha Klüppelholz
:
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. Innov. Syst. Softw. Eng. 18(3): 385-403 (2022) - [j64]Nikolai Käfer
, Christel Baier
, Martin Diller
, Clemens Dubslaff
, Sarah Alice Gaggl
, Holger Hermanns
:
Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. 74 (2022) - [j63]Maryam Bagheri
, Marjan Sirjani
, Ehsan Khamespanah, Christel Baier
, Ali Movaghar
:
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control. IEEE Trans. Software Eng. 48(8): 2732-2747 (2022) - [c152]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: 27-45 - [c151]Christel Baier
, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
:
On the Foundations of Cycles in Bayesian Networks. Principles of Systems Design 2022: 343-363 - [c150]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: 10:1-10:16 - [c149]Max Korn
, Philipp Chrszon
, Sascha Klüppelholz
, Christel Baier
, Sascha Wunderlich
:
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study. EPEW 2022: 19-34 - [c148]Christel Baier
, Florian Funke
, Jakob Piribauer
, Robin Ziemek
:
On probability-raising causality in Markov decision processes. FoSSaCS 2022: 40-60 - [c147]Jakob Piribauer
, Ocan Sankur, Christel Baier
:
The Variance-Penalized Stochastic Shortest Path Problem. ICALP 2022: 129:1-129:19 - [c146]Clemens Dubslaff, Kallistos Weis, Christel Baier
, Sven Apel
:
Causality in Configurable Software Systems. ICSE 2022: 325-337 - [e14]Christel Baier, Dana Fisman:
LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022. ACM 2022, ISBN 978-1-4503-9351-5 [contents] - [d4]Philipp Chrszon
, Christel Baier
, Clemens Dubslaff
, Sascha Klüppelholz
:
Interaction Detection in Configurable Systems - A Formal Approach Featuring Roles, Artifact. Zenodo, 2022 - [d3]Clemens Dubslaff
, Kallistos Weis, Christel Baier
, Sven Apel
:
FeatCause - Sources and Data. Version 1. Zenodo, 2022 [all versions] - [i32]Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel:
Causality in Configurable Software Systems. CoRR abs/2201.07280 (2022) - [i31]Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek:
On probability-raising causality in Markov decision processes. CoRR abs/2201.08768 (2022) - [i30]Jakob Piribauer
, Ocan Sankur, Christel Baier:
The variance-penalized stochastic shortest path problem. CoRR abs/2204.12280 (2022) - [i29]Christel Baier, Jakob Piribauer
, Robin Ziemek:
Foundations of probability-raising causality in Markov decision processes. CoRR abs/2209.02973 (2022) - 2021
- [j62]Simon Jantsch
, David Müller, Christel Baier
, Joachim Klein:
From LTL to unambiguous Büchi automata via disambiguation of alternating automata. Formal Methods Syst. Des. 58(1-2): 42-82 (2021) - [c145]Christel Baier, Florian Funke, Rupak Majumdar:
Responsibility Attribution in Parameterized Markovian Models. AAAI 2021: 11734-11743 - [c144]Tobias John
, Simon Jantsch
, Christel Baier
, Sascha Klüppelholz
:
Determinization and Limit-Determinization of Emerson-Lei Automata. ATVA 2021: 15-31 - [c143]Christel Baier
, Florian Funke
, Simon Jantsch
, Jakob Piribauer
, Robin Ziemek
:
Probabilistic Causes in Markov Chains. ATVA 2021: 205-221 - [c142]Christel Baier
, Norine Coenen
, Bernd Finkbeiner
, Florian Funke
, Simon Jantsch
, Julian Siber
:
Causality-Based Game Solving. CAV (1) 2021: 894-917 - [c141]Jakob Piribauer
, Christel Baier
, Nathalie Bertrand, Ocan Sankur:
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. CONCUR 2021: 7:1-7:18 - [c140]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: 28:1-28:17 - [c139]Christel Baier
, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer
, Robin Ziemek
:
From Verification to Causality-Based Explications (Invited Talk). ICALP 2021: 1:1-1:20 - [c138]Christel Baier
, Florian Funke, Rupak Majumdar:
A Game-Theoretic Account of Responsibility Allocation. IJCAI 2021: 1773-1779 - [c137]Christel Baier
, Martin Diller
, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
, Nikolai Käfer
:
Admissibility in Probabilistic Argumentation. KR 2021: 87-98 - [c136]Corto Mascle, Christel Baier
, Florian Funke, Simon Jantsch, Stefan Kiefer:
Responsibility and verification: Importance value in temporal logics. LICS 2021: 1-14 - [c135]Simon Jantsch, Jakob Piribauer
, Christel Baier
:
Witnessing Subsystems for Probabilistic Systems with Low Tree Width. GandALF 2021: 35-51 - [e13]Christel Baier
, Jean Goubault-Larrecq
:
29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference). LIPIcs 183, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-175-7 [contents] - [i28]Corto Mascle, Christel Baier, Florian Funke
, Simon Jantsch, Stefan Kiefer:
Responsibility and verification: Importance value in temporal logics. CoRR abs/2102.06655 (2021) - [i27]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 abs/2104.10634 (2021) - [i26]Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek:
Probabilistic causes in Markov chains. CoRR abs/2104.13604 (2021) - [i25]Christel Baier
, Florian Funke, Rupak Majumdar:
A Game-Theoretic Account of Responsibility Allocation. CoRR abs/2105.09129 (2021) - [i24]Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek:
From Verification to Causality-based Explications. CoRR abs/2105.09533 (2021) - [i23]Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber:
Causality-Based Game Solving. CoRR abs/2105.14247 (2021) - [i22]Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz:
Determinization and Limit-determinization of Emerson-Lei automata. CoRR abs/2106.15892 (2021) - [i21]Simon Jantsch, Jakob Piribauer, Christel Baier:
Witnessing subsystems for probabilistic systems with low tree width. CoRR abs/2108.08070 (2021) - 2020
- [j61]Michael Raitza
, Steffen Märcker, Jens Trommer
, Andre Heinzig, Sascha Klüppelholz
, Christel Baier
, Akash Kumar
:
Quantitative Characterization of Reconfigurable Transistor Logic Gates. IEEE Access 8: 112598-112614 (2020) - [j60]Christel Baier
, Pedro R. D'Argenio
, Holger Hermanns
:
On the probabilistic bisimulation spectrum with silent moves. Acta Informatica 57(3-5): 465-512 (2020) - [j59]Christel Baier, Mikolaj Bojanczyk, Mariangiola Dezani, Josep Díaz, Giuseppe F. Italiano:
EATCS Fellows 2021 - Call for Nominations. Bull. EATCS 132 (2020) - [j58]Christel Baier
, Christian Hensel, Lisa Hutschenreiter
, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein:
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Inf. Comput. 272: 104504 (2020) - [c134]Simon Jantsch, Florian Funke
, Christel Baier
:
Minimal Witnesses for Probabilistic Timed Automata. ATVA 2020: 501-517 - [c133]Simon Jantsch, Hans Harder, Florian Funke
, Christel Baier
:
Switss: Computing Small Witnessing Subsystems. FMCAD 2020: 236-244 - [c132]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: 36:1-36:17 - [c131]Jakob Piribauer
, Christel Baier
:
On Skolem-Hardness and Saturation Points in Markov Decision Processes. ICALP 2020: 138:1-138:17 - [c130]Christel Baier
, Holger Hermanns:
From Verification to Explanation (Track Introduction). ISoLA (4) 2020: 1-7 - [c129]Christel Baier
, Clemens Dubslaff
, Holger Hermanns
, Michaela Klauck
, Sascha Klüppelholz
, Maximilian A. Köhl
:
Components in Probabilistic Systems: Suitable by Construction. ISoLA (1) 2020: 240-261 - [c128]Philipp Chrszon, Christel Baier
, Clemens Dubslaff, Sascha Klüppelholz
:
From features to roles. SPLC (A) 2020: 19:1-19:11 - [c127]Florian Funke
, Simon Jantsch
, Christel Baier
:
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints. TACAS (1) 2020: 324-345 - [c126]Christel Baier
, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck:
Lab Conditions for Research on Explainable Automated Decisions. TAILOR 2020: 83-90 - [c125]Clemens Dubslaff, Andrey Morozov, Christel Baier
, Klaus Janschek:
Iterative Variable Reordering: Taming Huge System Families. MARS@ETAPS 2020: 121-133 - [d2]Christel Baier
, Clemens Dubslaff
, Holger Hermanns
, Michaela Klauck
, Sascha Klüppelholz
, Maximilian A. Köhl
:
Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction". Zenodo, 2020 - [d1]Philipp Chrszon
, Christel Baier
, Clemens Dubslaff
, Sascha Klüppelholz
:
From Features to Roles, Artifact (SPLC2020). Zenodo, 2020 - [i20]Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek:
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis. CoRR abs/2004.06637 (2020) - [i19]Jakob Piribauer, Christel Baier:
On Skolem-hardness and saturation points in Markov decision processes. CoRR abs/2004.11441 (2020) - [i18]Simon Jantsch, Florian Funke, Christel Baier:
Minimal witnesses for probabilistic timed automata. CoRR abs/2007.00637 (2020) - [i17]Simon Jantsch, Hans Harder, Florian Funke, Christel Baier:
SWITSS: Computing Small Witnessing Subsystems. CoRR abs/2008.04049 (2020) - [i16]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 abs/2009.13353 (2020)
2010 – 2019
- 2019
- [j57]Christel Baier, Mikolaj Bojanczyk, Mariangiola Dezani, Josep Díaz, Giuseppe F. Italiano:
EATCS Fellows 2020 - Call for Nominations. Bull. EATCS 129 (2019) - [j56]Gerhard P. Fettweis
, Meik Dorpinghaus
, Jerónimo Castrillón
, Akash Kumar
, Christel Baier
, Karlheinz Bock
, Frank Ellinger, Andreas Fery, Frank H. P. Fitzek
, Hermann Härtig, Kambiz Jamshidi
, Thomas Kissinger
, Wolfgang Lehner
, Michael Mertig
, Wolfgang E. Nagel, Giang T. Nguyen
, Dirk Plettemeier, Michael Schröter, Thorsten Strufe:
Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing. Proc. IEEE 107(1): 204-231 (2019) - [j55]Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier
, Hermann Härtig, Sascha Klüppelholz
:
Configuration of inter-process communication with probabilistic model checking. Int. J. Softw. Tools Technol. Transf. 21(6): 651-666 (2019) - [j54]Christel Baier
, Clemens Dubslaff
, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
:
Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms. ACM Trans. Model. Comput. Simul. 29(4): 28:1-28:26 (2019) - [c124]Christel Baier
, Frantisek Blahoudek
, Alexandre Duret-Lutz
, Joachim Klein, David Müller, Jan Strejcek:
Generic Emptiness Check for Fun and Profit. ATVA 2019: 445-461 - [c123]Muhammad Usama Sardar
, Clemens Dubslaff
, Sascha Klüppelholz
, Christel Baier
, Akash Kumar
:
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems. EPEW 2019: 133-147 - [c122]Simon Jantsch
, David Müller
, Christel Baier
, Joachim Klein
:
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. FM 2019: 262-279 - [c121]Jakob Piribauer
, Christel Baier
:
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. FoSSaCS 2019: 436-452 - [c120]Christel Baier
, Nathalie Bertrand, Jakob Piribauer
, Ocan Sankur:
Long-run Satisfaction of Path Properties. LICS 2019: 1-14 - [p3]Christel Baier
, Holger Hermanns, Joost-Pieter Katoen:
The 10, 000 Facets of MDP Model Checking. Computing and Software Science 2019: 420-451 - [e12]Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi:
46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece. LIPIcs 132, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-109-2 [contents] - [i15]