Jakob Piribauer

51 papers A* 9B 9Journal 26Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Temporal Properties of Conditional Independence in Dynamic Bayesian Networks. AAAI Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard
2026	B	`conf`	The Modal Logic of Abstraction Refinement. FoSSaCS Jakob Piribauer, Vinzent Zschuppe
2026	J	`jnl`	The Modal Logic of Abstraction Refinement. CoRR Jakob Piribauer, Vinzent Zschuppe
2025	—	`conf`	Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains. CAV (2) Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer
2025	J	`jnl`	Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains. CoRR Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer
2025	A*	`conf`	Formal Quality Measures for Predictors in Markov Decision Processes. AAAI Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek
2025	A*	`conf`	Model Checking Linear Temporal Logic with Standpoint Modalities. KR Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork
2025	J	`jnl`	Model Checking Linear Temporal Logic with Standpoint Modalities. CoRR Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork
2025	A*	`conf`	Multiplicative Rewards in Markovian Models. LICS Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2025	J	`jnl`	Multiplicative Rewards in Markovian Models. CoRR Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2025	—	`conf`	Stop Gambling! It Just Takes Too Long. Principles of Formal Quantitative Analysis Sascha Klüppelholz, Jakob Piribauer
2025	J	`jnl`	Temporal Properties of Conditional Independence in Dynamic Bayesian Networks. CoRR Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard
2024	B	`conf`	A Spectrum of Approximate Probabilistic Bisimulations. CONCUR Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
2024	J	`jnl`	A Spectrum of Approximate Probabilistic Bisimulations. CoRR Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
2024	A*	`conf`	Backward Responsibility in Transition Systems Using General Power Indices. AAAI Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
2024	J	`jnl`	Backward Responsibility in Transition Systems Using General Power Indices. CoRR Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
2024	B	`conf`	Demonic Variance and a Non-Determinism Score for Markov Decision Processes. MFCS Jakob Piribauer
2024	J	`jnl`	Demonic variance and a non-determinism score for Markov decision processes. CoRR Jakob Piribauer
2024	J	`jnl`	Entropic risk for turn-based stochastic games. Inf. Comput. Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2024	J	`jnl`	Formal Quality Measures for Predictors in Markov Decision Processes. CoRR Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek
2024	J	`jnl`	Foundations of probability-raising causality in Markov decision processes. Log. Methods Comput. Sci. Christel Baier, Jakob Piribauer, Robin Ziemek
2024	—	`conf`	Linear dynamical systems with continuous weight functions. HSCC Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
2024	—	`conf`	Model Checking Markov Chains as Distribution Transformers. Principles of Verification (2) Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
2024	J	`jnl`	Model Checking Markov Chains as Distribution Transformers. CoRR Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
2024	J	`jnl`	Positivity-hardness results on Markov decision processes. TheoretiCS Jakob Piribauer, Christel Baier
2024	B	`conf`	Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures. CONCUR Christel Baier, Jakob Piribauer, Maximilian Starke
2024	J	`jnl`	Risk-averse optimization of total rewards in Markovian models using deviation measures. CoRR Christel Baier, Jakob Piribauer, Maximilian Starke
2023	J	`jnl`	Counterfactual Causality for Reachability and Safety based on Distance Functions. CoRR Julie Parreaux, Jakob Piribauer, Christel Baier
2023	—	`conf`	Counterfactual Causality for Reachability and Safety based on Distance Functions. GandALF Julie Parreaux, Jakob Piribauer, Christel Baier
2023	B	`conf`	Entropic Risk for Turn-Based Stochastic Games. MFCS Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2023	J	`jnl`	Entropic Risk for Turn-Based Stochastic Games. CoRR Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
2023	J	`jnl`	Positivity-hardness results on Markov decision processes. CoRR Jakob Piribauer, Christel Baier
2022	J	`jnl`	Foundations of probability-raising causality in Markov decision processes. CoRR Christel Baier, Jakob Piribauer, Robin Ziemek
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	J	`jnl`	Probabilistic causes in Markov chains. Innov. Syst. Softw. Eng. Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier
2022	A*	`conf`	The Variance-Penalized Stochastic Shortest Path Problem. ICALP Jakob Piribauer, Ocan Sankur, Christel Baier
2022	J	`jnl`	The variance-penalized stochastic shortest path problem. CoRR Jakob Piribauer, Ocan Sankur, Christel Baier
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	B	`conf`	Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. CONCUR Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur
2021	—	`conf`	Witnessing Subsystems for Probabilistic Systems with Low Tree Width. GandALF Simon Jantsch, Jakob Piribauer, Christel Baier
2021	J	`jnl`	Witnessing subsystems for probabilistic systems with low tree width. CoRR Simon Jantsch, Jakob Piribauer, Christel Baier
2020	A*	`conf`	On Skolem-Hardness and Saturation Points in Markov Decision Processes. ICALP Jakob Piribauer, Christel Baier
2020	J	`jnl`	On Skolem-hardness and saturation points in Markov decision processes. CoRR Jakob Piribauer, Christel Baier
2019	A*	`conf`	Long-run Satisfaction of Path Properties. LICS Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur
2019	B	`conf`	Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. FoSSaCS Jakob Piribauer, Christel Baier
2019	J	`jnl`	Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. CoRR Jakob Piribauer, Christel Baier