


Остановите войну!
for scientists:


default search action
Joost-Pieter Katoen
Person information

- affiliation: RWTH Aachen University, Germany
- affiliation: University of Twente, The Netherlands
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j97]Bahare Salmani, Joost-Pieter Katoen:
Automatically Finding the Right Probabilities in Bayesian Networks. J. Artif. Intell. Res. 77: 1637-1696 (2023) - [j96]Shenghua Feng
, Mingshuai Chen
, Han Su
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Naijun Zhan
:
Lower Bounds for Possibly Divergent Probabilistic Programs. Proc. ACM Program. Lang. 7(OOPSLA1): 696-726 (2023) - [j95]Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja:
A Deductive Verification Infrastructure for Probabilistic Programs. Proc. ACM Program. Lang. 7(OOPSLA2): 2052-2082 (2023) - [j94]Kevin Batz
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Christoph Matheja
, Lena Verscht
:
A Calculus for Amortized Expected Runtimes. Proc. ACM Program. Lang. 7(POPL): 1957-1986 (2023) - [c253]Roman Andriushchenko
, Alexander Bork
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Search and Explore: Symbiotic Policy Synthesis in POMDPs. CAV (3) 2023: 113-135 - [c252]Bahare Salmani, Joost-Pieter Katoen:
Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks. IJCAI 2023: 5720-5729 - [c251]Tobias Winkler, Joost-Pieter Katoen:
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. LICS 2023: 1-13 - [c250]Tobias Winkler
, Joost-Pieter Katoen
:
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration. TACAS (2) 2023: 391-409 - [c249]Kevin Batz
, Mingshuai Chen
, Sebastian Junges
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Christoph Matheja
:
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. TACAS (2) 2023: 410-429 - [e12]Marsha Chechik
, Joost-Pieter Katoen
, Martin Leucker
:
Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings. Lecture Notes in Computer Science 14000, Springer 2023, ISBN 978-3-031-27480-0 [contents] - [d19]Roman Andriushchenko
, Alexander Bork
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. Version 0.3. Zenodo, 2023 [all versions] - [d18]Roman Andriushchenko
, Alexander Bork
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. Version 0.4. Zenodo, 2023 [all versions] - [d17]Roman Andriushchenko
, Alexander Bork
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. Version 0.5. Zenodo, 2023 [all versions] - [d16]Philipp Schröer
, Kevin Batz
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Christoph Matheja
:
A Deductive Verification Infrastructure for Probabilistic Programs - Artifact Evaluation. Zenodo, 2023 - [d15]Tobias Winkler
, Joost-Pieter Katoen
:
ARTIFACT EVALUATION FOR TACAS '23 SUBMISSION 103: "Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration". Zenodo, 2023 - [i96]Tobias Winkler, Joost-Pieter Katoen:
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration. CoRR abs/2301.08657 (2023) - [i95]Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen:
Exact Probabilistic Inference Using Generating Functions. CoRR abs/2302.00513 (2023) - [i94]Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan:
Lower Bounds for Possibly Divergent Probabilistic Programs. CoRR abs/2302.06082 (2023) - [i93]Tobias Winkler, Joost-Pieter Katoen:
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. CoRR abs/2304.09997 (2023) - [i92]Bahare Salmani, Joost-Pieter Katoen:
Finding an ε-close Variation of Parameters in Bayesian Networks. CoRR abs/2305.10051 (2023) - [i91]Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák:
Search and Explore: Symbiotic Policy Synthesis in POMDPs. CoRR abs/2305.14149 (2023) - [i90]Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Joost-Pieter Katoen:
Exact Bayesian Inference for Loopy Probabilistic Programs. CoRR abs/2307.07314 (2023) - [i89]Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja:
A Deductive Verification Infrastructure for Probabilistic Programs. CoRR abs/2309.07781 (2023) - [i88]Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler:
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs. CoRR abs/2311.06889 (2023) - 2022
- [j93]Matthias Volk
, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki:
Synthesizing optimal bias in randomized self-stabilization. Distributed Comput. 35(1): 37-57 (2022) - [j92]Tim Quatmann
, Sebastian Junges
, Joost-Pieter Katoen
:
Markov automata with multiple objectives. Formal Methods Syst. Des. 60(1): 33-86 (2022) - [j91]Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács:
The probabilistic termination tool amber. Formal Methods Syst. Des. 61(1): 90-109 (2022) - [j90]Qiuye Wang, Mingshuai Chen
, Bai Xue
, Naijun Zhan, Joost-Pieter Katoen:
Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming. Inf. Comput. 289(Part): 104965 (2022) - [j89]Martin Grohe
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Peter Lindner
:
Generative Datalog with Continuous Distributions. J. ACM 69(6): 46:1-46:52 (2022) - [j88]Kevin Batz
, Adrian Gallus
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Tobias Winkler
:
Weighted programming: a programming paradigm for specifying mathematical models. Proc. ACM Program. Lang. 6(OOPSLA1): 1-30 (2022) - [j87]Emma Ahrens
, Marius Bozga
, Radu Iosif
, Joost-Pieter Katoen
:
Reasoning about distributed reconfigurable systems. Proc. ACM Program. Lang. 6(OOPSLA2): 145-174 (2022) - [j86]Norman Weik
, Matthias Volk, Joost-Pieter Katoen, Nils Nießen
:
DFT modeling approach for operational risk assessment of railway infrastructure. Int. J. Softw. Tools Technol. Transf. 24(3): 331-350 (2022) - [j85]Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
:
The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transf. 24(4): 589-610 (2022) - [j84]Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-based verification of uncertain parametric MDPs. Int. J. Softw. Tools Technol. Transf. 24(5): 803-819 (2022) - [j83]Murat Cubuktepe
, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen
, Ufuk Topcu
:
Convex Optimization for Parameter Synthesis in MDPs. IEEE Trans. Autom. Control. 67(12): 6333-6348 (2022) - [c248]Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis in Markov Models: A Gentle Survey. Principles of Systems Design 2022: 407-437 - [c247]Mingshuai Chen
, Joost-Pieter Katoen
, Lutz Klinkenberg
, Tobias Winkler
:
Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions. CAV (1) 2022: 79-101 - [c246]Ira Fesefeldt
, Joost-Pieter Katoen, Thomas Noll
:
Towards Concurrent Quantitative Separation Logic. CONCUR 2022: 25:1-25:24 - [c245]Kevin Batz
, Ira Fesefeldt
, Marvin Jansen, Joost-Pieter Katoen
, Florian Keßler, Christoph Matheja
, Thomas Noll
:
Foundations for Entailment Checking in Quantitative Separation Logic. ESOP 2022: 57-84 - [c244]Tobias Winkler
, Christina Gehnen
, Joost-Pieter Katoen
:
Model Checking Temporal Properties of Recursive Probabilistic Programs. FoSSaCS 2022: 449-469 - [c243]Xaver Fink, Philipp Berger
, Joost-Pieter Katoen
:
Configurable Benchmarks for C Model Checkers. NFM 2022: 338-354 - [c242]Daniel Basgöze, Matthias Volk
, Joost-Pieter Katoen
, Shahid Khan
, Mariëlle Stoelinga
:
BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. NFM 2022: 713-732 - [c241]Jip Spel
, Svenja Stein
, Joost-Pieter Katoen
:
POMDP Controllers with Optimal Budget. QEST 2022: 107-130 - [c240]Alexander Bork
, Joost-Pieter Katoen
, Tim Quatmann
:
Under-Approximating Expected Total Rewards in POMDPs. TACAS (2) 2022: 22-40 - [c239]Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen:
Inductive synthesis of finite-state controllers for POMDPs. UAI 2022: 85-95 - [c238]Linus Heck
, Jip Spel
, Sebastian Junges
, Joshua Moerman
, Joost-Pieter Katoen
:
Gradient-Descent for Randomized Controllers Under Partial Observability. VMCAI 2022: 127-150 - [c237]Tobias Winkler
, Johannes Lehmann
, Joost-Pieter Katoen
:
Out of Control: Reducing Probabilistic Models by Control-State Elimination. VMCAI 2022: 450-472 - [e11]Helen Bolke-Hermanns, Joost-Pieter Katoen, Klaus Indermark, Stefan Kowalewski, Thomas Noll, Wolfgang Thomas:
50 Jahre Studiengang Informatik an der RWTH. RWTH Aachen, Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften, Germany 2022 - [d14]Thom S. Badings
, Murat Cubuktepe
, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen
, Ufuk Topcu
:
Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'. Zenodo, 2022 - [d13]Mingshuai Chen
, Joost-Pieter Katoen
, Lutz Klinkenberg
, Tobias Winkler
:
Prodigy - Artifact Evaluation at CAV 2022. Zenodo, 2022 - [d12]Shahid Khan
, Joost-Pieter Katoen
, Marc Bouissou
:
A Compositional Semantics of Boolean-Logic Driven Markov Processes. Version 0.0. Zenodo, 2022 [all versions] - [d11]Shahid Khan
, Joost-Pieter Katoen
, Marc Bouissou
:
A Compositional Semantics of Boolean-Logic Driven Markov Processes. Version 0.0. Zenodo, 2022 [all versions] - [d10]Shahid Khan
, Joost-Pieter Katoen
, Marc Bouissou
:
A Compositional Semantics of Boolean-Logic Driven Markov Processes. Version 0.0. Zenodo, 2022 [all versions] - [d9]Jip Spel
, Sebastian Junges
, Joost-Pieter Katoen
:
Finding Provably Optimal Markov Chains (Artifact). Zenodo, 2022 - [d8]Jip Spel
, Svenja Stein
, Joost-Pieter Katoen
:
POMDP Controllers With Optimal Budget (Artifact). Zenodo, 2022 - [i87]Alexander Bork, Joost-Pieter Katoen, Tim Quatmann:
Under-Approximating Expected Total Rewards in POMDPs. CoRR abs/2201.08772 (2022) - [i86]Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll:
Foundations for Entailment Checking in Quantitative Separation Logic (extended version). CoRR abs/2201.11464 (2022) - [i85]Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga:
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees. CoRR abs/2202.02829 (2022) - [i84]Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler:
Weighted Programming. CoRR abs/2202.07577 (2022) - [i83]Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen:
Inductive Synthesis of Finite-State Controllers for POMDPs. CoRR abs/2203.10803 (2022) - [i82]Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler:
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions. CoRR abs/2205.01449 (2022) - [i81]Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja:
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. CoRR abs/2205.06152 (2022) - [i80]Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll:
Towards Concurrent Quantitative Separation Logic. CoRR abs/2207.02822 (2022) - [i79]Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis in Markov Models: A Gentle Survey. CoRR abs/2207.06801 (2022) - [i78]Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen:
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming. CoRR abs/2209.09703 (2022) - [i77]Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht:
A Calculus for Amortized Expected Runtimes. CoRR abs/2211.12923 (2022) - 2021
- [j82]Milan Ceska
, Christian Hensel, Sebastian Junges
, Joost-Pieter Katoen:
Counterexample-guided inductive synthesis for probabilistic systems. Formal Aspects Comput. 33(4-5): 637-667 (2021) - [j81]Sebastian Junges
, Joost-Pieter Katoen, Guillermo A. Pérez
, Tobias Winkler:
The complexity of reachability in parametric Markov decision processes. J. Comput. Syst. Sci. 119: 183-210 (2021) - [j80]Alejandro Aguirre
, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Christoph Matheja
:
A pre-expectation calculus for probabilistic sensitivity. Proc. ACM Program. Lang. 5(POPL): 1-28 (2021) - [j79]Kevin Batz
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Christoph Matheja
:
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning. Proc. ACM Program. Lang. 5(POPL): 1-30 (2021) - [j78]Martin Grohe, Benjamin Lucien Kaminski
, Joost-Pieter Katoen, Peter Lindner:
Probabilistic Data with Continuous Distributions. SIGMOD Rec. 50(1): 69-76 (2021) - [j77]Leonore Winterer
, Sebastian Junges
, Ralf Wimmer
, Nils Jansen
, Ufuk Topcu
, Joost-Pieter Katoen
, Bernd Becker
:
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. IEEE Trans. Autom. Control. 66(3): 1040-1054 (2021) - [c236]Qiuye Wang
, Mingshuai Chen
, Bai Xue
, Naijun Zhan
, Joost-Pieter Katoen
:
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. CAV (1) 2021: 443-466 - [c235]Kevin Batz
, Mingshuai Chen
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Christoph Matheja
, Philipp Schröer
:
Latticed k-Induction with an Application to Probabilistic Programs. CAV (2) 2021: 524-549 - [c234]Roman Andriushchenko
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Simon Stupinský:
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. CAV (1) 2021: 856-869 - [c233]Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou:
Model Checking the Multi-Formalism Language FIGARO. DSN 2021: 463-470 - [c232]Bahare Salmani
, Joost-Pieter Katoen
:
Fine-Tuning the Odds in Bayesian Networks. ECSQARU 2021: 268-283 - [c231]Marcel Moosbrugger
, Ezio Bartocci
, Joost-Pieter Katoen
, Laura Kovács
:
Automated Termination Analysis of Polynomial Probabilistic Programs. ESOP 2021: 491-518 - [c230]Marcel Moosbrugger
, Ezio Bartocci
, Joost-Pieter Katoen
, Laura Kovács
:
The Probabilistic Termination Tool Amber. FM 2021: 667-675 - [c229]Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Muhammad Ahmad Zafar, Falak Sher:
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. LADC 2021: 1-10 - [c228]Shahid Khan
, Joost-Pieter Katoen
, Matthias Volk
, Marc Bouissou
:
Scalable Reliability Analysis by Lazy Verification. NFM 2021: 180-197 - [c227]Shahid Khan
, Joost-Pieter Katoen:
Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs. PRDC 2021: 113-122 - [c226]Arnd Hartmanns
, Joost-Pieter Katoen
, Bram Kohlen
, Jip Spel
:
Tweaking the Odds in Probabilistic Timed Automata. QEST 2021: 39-58 - [c225]Jip Spel
, Sebastian Junges
, Joost-Pieter Katoen
:
Finding Provably Optimal Markov Chains. TACAS (1) 2021: 173-190 - [c224]Roman Andriushchenko
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
:
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. TACAS (1) 2021: 191-209 - [c223]Tim Quatmann
, Joost-Pieter Katoen
:
Multi-objective Optimization of Long-run Average and Total Rewards. TACAS (1) 2021: 230-249 - [d7]Alexander Bork
, Joost-Pieter Katoen
, Tim Quatmann
:
Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs. Version 3. Zenodo, 2021 [all versions] - [d6]Alexander Bork
, Joost-Pieter Katoen
, Tim Quatmann
:
Update Package for Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs. Zenodo, 2021 - [d5]Alexander Bork
, Joost-Pieter Katoen
, Tim Quatmann
:
Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs. Version 1. Zenodo, 2021 [all versions] - [d4]Alexander Bork
, Joost-Pieter Katoen
, Tim Quatmann
:
Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs. Version 2. Zenodo, 2021 [all versions] - [d3]Linus Heck
, Jip Spel
, Sebastian Junges
, Joshua Moerman
, Joost-Pieter Katoen
:
Gradient-Descent for Randomized Controllers under Partial Observability (Artifact). Zenodo, 2021 - [i76]Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner:
Probabilistic Data with Continuous Distributions. CoRR abs/2101.12289 (2021) - [i75]Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen:
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. CoRR abs/2101.12683 (2021) - [i74]Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Model Repair Revamped: On the Automated Synthesis of Markov Chains. CoRR abs/2105.13411 (2021) - [i73]Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer:
Latticed k-Induction with an Application to Probabilistic Programs. CoRR abs/2105.14100 (2021) - [i72]Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen:
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. CoRR abs/2105.14311 (2021) - [i71]Bahare Salmani, Joost-Pieter Katoen:
Fine-Tuning the Odds in Bayesian Networks. CoRR abs/2105.14371 (2021) - [i70]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Convex Optimization for Parameter Synthesis in MDPs. CoRR abs/2107.00108 (2021) - [i69]Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen:
Local Reasoning about Parameterized Reconfigurable Distributed Systems. CoRR abs/2107.05253 (2021) - [i68]Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács:
The Probabilistic Termination Tool Amber. CoRR abs/2107.13072 (2021) - [i67]Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen:
Model Checking Temporal Properties of Recursive Probabilistic Programs. CoRR abs/2111.03501 (2021) - [i66]Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen:
Gradient-Descent for Randomized Controllers under Partial Observability. CoRR abs/2111.04407 (2021) - [i65]Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain Parametric MDPs. CoRR abs/2112.13020 (2021) - 2020
- [j76]Christel Baier
, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein:
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Inf. Comput. 272: 104504 (2020) - [j75]Arnd Hartmanns
, Sebastian Junges
, Joost-Pieter Katoen
, Tim Quatmann
:
Multi-cost Bounded Tradeoff Analysis in MDP. J. Autom. Reason. 64(7): 1483-1522 (2020) - [j74]Marcel Hark
, Benjamin Lucien Kaminski
, Jürgen Giesl
, Joost-Pieter Katoen:
Aiming low is harder: induction for lower bounds in probabilistic program verification. Proc. ACM Program. Lang. 4(POPL): 37:1-37:28 (2020) - [j73]Tim Lange, Martin R. Neuhäußer, Thomas Noll
, Joost-Pieter Katoen:
IC3 software model checking. Int. J. Softw. Tools Technol. Transf. 22(2): 135-161 (2020) - [c222]Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann:
Verification of Indefinite-Horizon POMDPs. ATVA 2020: 288-304 - [c221]Krishnendu Chatterjee
, Joost-Pieter Katoen
, Maximilian Weininger
, Tobias Winkler
:
Stochastic Games with Lexicographic Reachability-Safety Objectives. CAV (2) 2020: 398-420 - [c220]Kevin Batz
, Sebastian Junges
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Christoph Matheja
, Philipp Schröer
:
PrIC3: Property Directed Reachability for MDPs. CAV (2) 2020: 512-538 - [c219]Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
:
Explaining Boolean-Logic Driven Markov Processes using GSPNs. EDCC 2020: 119-126 - [c218]Lutz Klinkenberg
, Kevin Batz
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Joshua Moerman
, Tobias Winkler
:
Generating Functions for Probabilistic Programs. LOPSTR 2020: 231-248 - [c217]