I agree that this site is using cookies. You can find further informations here.
X
Katoen, Joost-Pieter
82  results:
Bookchapter (Online) X
Search for persons X
?
1

SAFEST: Fault Tree Analysis Via Probabilistic Model Checkin:

, In: 2024 Annual Reliability and Maintainability Symposium (RAMS),
Volk, Matthias ; Sher, Falak ; Katoen, Joost-Pieter. - p. 1-7 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Accurately Computing Expected Visiting Times and Stationary..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Mertens, Hannah ; Katoen, Joost-Pieter ; Quatmann, Tim. - p. 237-257 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Certificates for Probabilistic Pushdown Automata via Optimi..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Winkler, Tobias ; Katoen, Joost-Pieter - p. 391-409 , 2023
Link: https://doi.org/10.1007/..
 
?
4

On Certificates, Expected Runtimes, and Termination in Prob..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Winkler, Tobias ; Katoen, Joost-Pieter - p. 1-13 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Probabilistic Program Verification via Inductive Synthesis ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Batz, Kevin ; Chen, Mingshuai ; Junges, Sebastian... - p. 410-429 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Search and Explore: Symbiotic Policy Synthesis in POMDPs:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Andriushchenko, Roman ; Bork, Alexander ; Češka, Milan... - p. 113-135 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Gradient-Descent for Randomized Controllers Under Partial O..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Heck, Linus ; Spel, Jip ; Junges, Sebastian.. - p. 127-150 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Does a Program Yield the Right Distribution?: Verifying Pro..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Chen, Mingshuai ; Katoen, Joost-Pieter ; Klinkenberg, Lutz. - p. 79-101 , 2022
Link: https://doi.org/10.1007/..
 
?
9

BDDs Strike Back: Efficient Analysis of Static and Dynamic ..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Basgöze, Daniel ; Volk, Matthias ; Katoen, Joost-Pieter.. - p. 713-732 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Foundations for Entailment Checking in Quantitative Separat..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Batz, Kevin ; Fesefeldt, Ira ; Jansen, Marvin... - p. 57-84 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Model Checking Temporal Properties of Recursive Probabilist..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Winkler, Tobias ; Gehnen, Christina ; Katoen, Joost-Pieter - p. 449-469 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Under-Approximating Expected Total Rewards in POMDPs:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Bork, Alexander ; Katoen, Joost-Pieter ; Quatmann, Tim - p. 22-40 , 2022
Link: https://doi.org/10.1007/..
 
?
13

Configurable Benchmarks for C Model Checkers:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Fink, Xaver ; Berger, Philipp ; Katoen, Joost-Pieter - p. 338-354 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Out of Control: Reducing Probabilistic Models by Control-St..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Winkler, Tobias ; Lehmann, Johannes ; Katoen, Joost-Pieter - p. 450-472 , 2022
Link: https://doi.org/10.1007/..
 
?
15

POMDP Controllers with Optimal Budget:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Spel, Jip ; Stein, Svenja ; Katoen, Joost-Pieter - p. 107-130 , 2022
Link: https://doi.org/10.1007/..
 
1-15