![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Jakob Piribauer
Person information
- affiliation: TU Dresden, Germany
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j2]Christel Baier
, Jakob Piribauer
, Robin Ziemek
:
Foundations of probability-raising causality in Markov decision processes. Log. Methods Comput. Sci. 20(1) (2024) - [c14]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 - [c13]Rajab Aghamov
, Christel Baier
, Toghrul Karimov
, Joël Ouaknine
, Jakob Piribauer
:
Linear dynamical systems with continuous weight functions. HSCC 2024: 22:1-22:11 - [i16]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) - [i15]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) - [i14]Jakob Piribauer:
Demonic variance and a non-determinism score for Markov decision processes. CoRR abs/2406.18727 (2024) - [i13]Christel Baier, Jakob Piribauer, Maximilian Starke:
Risk-averse optimization of total rewards in Markovian models using deviation measures. CoRR abs/2407.06887 (2024) - [i12]Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann:
A Spectrum of Approximate Probabilistic Bisimulations. CoRR abs/2407.07584 (2024) - 2023
- [c12]Christel Baier
, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
:
Entropic Risk for Turn-Based Stochastic Games. MFCS 2023: 15:1-15:16 - [c11]Julie Parreaux, Jakob Piribauer
, Christel Baier
:
Counterfactual Causality for Reachability and Safety based on Distance Functions. GandALF 2023: 132-149 - [i11]Jakob Piribauer
, Christel Baier:
Positivity-hardness results on Markov decision processes. CoRR abs/2302.13675 (2023) - [i10]Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer:
Entropic Risk for Turn-Based Stochastic Games. CoRR abs/2307.06611 (2023) - [i9]Julie Parreaux, Jakob Piribauer
, Christel Baier:
Counterfactual Causality for Reachability and Safety based on Distance Functions. CoRR abs/2308.11385 (2023) - 2022
- [j1]Robin Ziemek
, Jakob Piribauer
, Florian Funke, Simon Jantsch, Christel Baier
:
Probabilistic causes in Markov chains. Innov. Syst. Softw. Eng. 18(3): 347-367 (2022) - [c10]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 - [c9]Christel Baier
, Florian Funke
, Jakob Piribauer
, Robin Ziemek
:
On probability-raising causality in Markov decision processes. FoSSaCS 2022: 40-60 - [c8]Jakob Piribauer
, Ocan Sankur, Christel Baier:
The Variance-Penalized Stochastic Shortest Path Problem. ICALP 2022: 129:1-129:19 - [i8]Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek:
On probability-raising causality in Markov decision processes. CoRR abs/2201.08768 (2022) - [i7]Jakob Piribauer
, Ocan Sankur, Christel Baier:
The variance-penalized stochastic shortest path problem. CoRR abs/2204.12280 (2022) - [i6]Christel Baier, Jakob Piribauer
, Robin Ziemek:
Foundations of probability-raising causality in Markov decision processes. CoRR abs/2209.02973 (2022) - 2021
- [c7]Christel Baier
, Florian Funke
, Simon Jantsch
, Jakob Piribauer
, Robin Ziemek
:
Probabilistic Causes in Markov Chains. ATVA 2021: 205-221 - [c6]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 - [c5]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 - [c4]Simon Jantsch, Jakob Piribauer
, Christel Baier:
Witnessing Subsystems for Probabilistic Systems with Low Tree Width. GandALF 2021: 35-51 - [i5]Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek:
Probabilistic causes in Markov chains. CoRR abs/2104.13604 (2021) - [i4]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) - [i3]Simon Jantsch, Jakob Piribauer, Christel Baier:
Witnessing subsystems for probabilistic systems with low tree width. CoRR abs/2108.08070 (2021) - 2020
- [c3]Jakob Piribauer
, Christel Baier
:
On Skolem-Hardness and Saturation Points in Markov Decision Processes. ICALP 2020: 138:1-138:17 - [i2]Jakob Piribauer, Christel Baier:
On Skolem-hardness and saturation points in Markov decision processes. CoRR abs/2004.11441 (2020)
2010 – 2019
- 2019
- [c2]Jakob Piribauer
, Christel Baier
:
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. FoSSaCS 2019: 436-452 - [c1]Christel Baier
, Nathalie Bertrand, Jakob Piribauer
, Ocan Sankur:
Long-run Satisfaction of Path Properties. LICS 2019: 1-14 - [i1]Jakob Piribauer, Christel Baier:
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. CoRR abs/1902.04538 (2019)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 19:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint