Joost-Pieter Katoen
- Foundations of Probabilistic Programming
2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 5 citations
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
- A New Proof Rule for Almost-Sure Termination
2017/11/09 by Annabelle McIver, Carroll Morgan, McIver, Annabelle +5 · 9 citations
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL)
- Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
2018/08/29 by Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja +1 · 9 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Complexity and Algorithms in Graphs
- A storm is Coming: A Modern Probabilistic Model Checker
2017/02/14 by Christian Dehnert, Dehnert, Christian, Sebastian Junges +5 · 6 citations
Business, Management and Accounting · Computer Science · #Advanced Software Engineering Methodologies #Business Process Modeling and Analysis #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software System Performance and Reliability
- Weakest Precondition Reasoning for Expected Run-Times of Probabilistic\n Programs
2016/01/05 by Benjamin Lucien Kaminski, Kaminski, Benjamin Lucien, Joost-Pieter Katoen +5 · 4 citations
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- Reasoning about Recursive Probabilistic Programs
2016/03/09 by Federico Olmedo, Olmedo, Federico, Benjamin Lucien Kaminski +5 · 4 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Logic, Reasoning, and Knowledge
- Parameter Synthesis for Markov Models: Covering the Parameter Space
2019/03/16 by Sebastian Junges, Junges, Sebastian, Erika Ábrahám +11 · 3 citations
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
- Conditioning in Probabilistic Programming
2018/01/03 by Federico Olmedo, Friedrich Gretz, Nils Jansen +4 · 3 citations
Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #Logic, programming, and type systems
- Conditioning in Probabilistic Programming
2015/04/01 by Friedrich Gretz, Nils Jansen, Gretz, Friedrich +9 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- Scenario-Based Verification of Uncertain MDPs
2019/12/24 by Murat Cubuktepe, Cubuktepe, Murat, Nils Jansen +7 · 2 citations
Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Optimization and Control (math.OC)
- Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2023/11/12 by Kevin Batz, Batz, Kevin, Tom Jannik Biskup +5 · 3 citations
Computer Science · Mathematics · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Statistical Methods in Clinical Trials
- Probably Safe or Live
2014/01/28 by Joost-Pieter Katoen, Katoen, Joost-Pieter, Lei Song +3 · 1 citation
Computer Science · #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Accelerating Parametric Probabilistic Verification
2013/12/13 by Nils Jansen, Jansen, Nils, Florian Corzilius +11 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
- On the Hardness of Almost-Sure Termination
2015/06/05 by Benjamin Lucien Kaminski, Joost-Pieter Katoen, Kaminski, Benjamin Lucien +1 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #Bayesian Modeling and Causal Inference #Computability, Logic, AI Algorithms #Computational Complexity (cs.CC) #F.1.2 #F.1.3 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021/05/29 by Qiuye Wang, Wang, Qiuye, Mingshuai Chen +7 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Fault Detection and Control Systems #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Stability and Control of Uncertain Systems
- The Probabilistic Termination Tool Amber
2021/07/27 by Marcel Moosbrugger, Moosbrugger, Marcel, Ezio Bartocci +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
2022/02/06 by Daniel Basgöze, Matthias Volk, Basgöze, Daniel +7 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Natural Strategic Ability in Stochastic Multi-Agent Systems
2024/01/22 by Raphaël Berthon, Joost-Pieter Katoen, Berthon, Raphaël +5 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation
- Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
2024/01/19 by Hannah Mertens, Mertens, Hannah, Joost-Pieter Katoen +5 · 1 citation
Computer Science · Decision Sciences · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Probability (math.PR) #Simulation Techniques and Applications