Piribauer, Jakob
- From Verification to Causality-based Explications
2021/05/20 by Christel Baier, Clemens Dubslaff, Baier, Christel +11 · 5 citations
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms
- Probabilistic causes in Markov chains
2021/04/28 by Christel Baier, Florian Funke, Baier, Christel +7 · 4 citations
Computer Science · #Bayesian Modeling and Causal Inference #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
- On probability-raising causality in Markov decision processes
2022/01/21 by Baier, Christel, Funke, Florian, Piribauer, Jakob +1 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Partial and Conditional Expectations in Markov Decision Processes with\n Integer Weights
2019/02/12 by Jakob Piribauer, Christel Baier, Piribauer, Jakob +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #Real-Time Systems Scheduling
- Model Checking Markov Chains as Distribution Transformers
2024/06/21 by Rajab Aghamov, Christel Baier, Aghamov, Rajab +11 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
- A Spectrum of Approximate Probabilistic Bisimulations
2024/07/10 by Spork, Timm, Baier, Christel, Katoen, Joost-Pieter +2 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- The variance-penalized stochastic shortest path problem
2022/04/21 by Piribauer, Jakob, Sankur, Ocan, Baier, Christel · 1 citation
#FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Optimization and Control (math.OC)
- Backward Responsibility in Transition Systems Using General Power Indices
2024/02/02 by Christel Baier, Baier, Christel, Roxane van den Bossche +7 · 2 citations
Economics, Econometrics and Finance · #Economic Policies and Impacts #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Entropic Risk for Turn-Based Stochastic Games
2023/07/13 by Baier, Christel, Chatterjee, Krishnendu, Meggendorfer, Tobias +1 · 1 citation
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Risk-averse optimization of total rewards in Markovian models using deviation measures
2024/07/09 by Baier, Christel, Piribauer, Jakob, Starke, Maximilian · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)