Jakob Piribauer

1. From Verification to Causality-based Explications
   2021/05/20 by Christel Baier, Baier, Christel, Clemens Dubslaff +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
2. Probabilistic causes in Markov chains
   2021/04/28 by Christel Baier, Baier, Christel, Florian Funke +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)
3. Partial and Conditional Expectations in Markov Decision Processes with\n Integer Weights
   2019/02/12 by Jakob Piribauer, Piribauer, Jakob, Christel Baier +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
4. Model Checking Markov Chains as Distribution Transformers
   2024/06/21 by Rajab Aghamov, Aghamov, Rajab, Christel Baier +11 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
5. 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)