I agree that this site is using cookies. You can find further informations here.
X
Katoen, Joost-Pieter
288  results:
OpenAccess-fulltext X
Search for persons X
?
1

Natural Strategic Ability in Stochastic Multi-Agent Systems:

Berthon, Raphaël ; Katoen, Joost-Pieter ; Mittelmann, Munyque.
http://arxiv.org/abs/2401.12170.  , 2024
Link: http://arxiv.org/abs/240..
 
?
2

Scalable Analysis of Probabilistic Models and Programs (Dag..:

Junges, Sebastian ; Katoen, Joost-Pieter ; Sanner, Scott..
Is Part Of Dagstuhl Reports, Volume 13, Issue 6 (2024).  , 2024
Link: https://doi.org/10.4230/..
 
?
3

Accurately Computing Expected Visiting Times and Stationary..:

Mertens, Hannah ; Katoen, Joost-Pieter ; Quatmann, Tim.
http://arxiv.org/abs/2401.10638.  , 2024
Link: http://arxiv.org/abs/240..
 
?
4

Lower Bounds for Possibly Divergent Probabilistic Programs:

Feng, Shenghua ; Chen, Mingshuai ; Su, Han...
https://discovery.ucl.ac.uk/id/eprint/10168175/1/3586051.pdf.  , 2023
Link: https://discovery.ucl.ac..
 
?
5

Certificates for Probabilistic Pushdown Automata via Optimi..:

Winkler, Tobias ; Katoen, Joost-Pieter
http://arxiv.org/abs/2301.08657.  , 2023
Link: http://arxiv.org/abs/230..
 
?
6

Artifact supplement for 'Search and Explore: Symbiotic Poli..:

Andriushchenko, Roman ; Bork, Alexander ; Češka, Milan...
doi:10.5281/zenodo.7874513.  , 2023
Link: https://zenodo.org/recor..
 
?
7

Artifact supplement for 'Search and Explore: Symbiotic Poli..:

Andriushchenko, Roman ; Bork, Alexander ; Češka, Milan...
doi:10.5281/zenodo.7874513.  , 2023
Link: https://zenodo.org/recor..
 
?
8

A Calculus for Amortized Expected Runtimes:

Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter..
https://discovery.ucl.ac.uk/id/eprint/10163423/1/3571260.pdf.  , 2023
Link: https://discovery.ucl.ac..
 
?
9

ARTIFACT EVALUATION FOR TACAS '23 SUBMISSION 103: "Certific..:

Winkler, Tobias ; Katoen, Joost-Pieter
doi:10.5281/zenodo.7506304.  , 2023
Link: https://zenodo.org/recor..
 
?
10

Lower Bounds for Possibly Divergent Probabilistic Programs:

Feng, Shenghua ; Chen, Mingshuai ; Su, Han...
http://arxiv.org/abs/2302.06082.  , 2023
Link: http://arxiv.org/abs/230..
 
?
11

A Deductive Verification Infrastructure for Probabilistic P..:

Schroer, Philipp ; Batz, Kevin ; Kaminski, Benjamin Lucien..
info:eu-repo/semantics/altIdentifier/wos/WOS:001087279100074.  , 2023
Link: https://publications.rwt..
 
?
12

Probabilistic Program Verification via Inductive Synthesis ..:

Batz, Kevin ; Chen, Mingshuai ; Junges, Sebastian...
info:eu-repo/semantics/altIdentifier/isbn/978-3-031-30821-5.  , 2023
Link: https://publications.rwt..
 
?
13

Artifact supplement for 'Search and Explore: Symbiotic Poli..:

Andriushchenko, Roman ; Bork, Alexander ; Češka, Milan...
doi:10.5281/zenodo.7874513.  , 2023
Link: https://zenodo.org/recor..
 
?
14

Exact Probabilistic Inference Using Generating Functions:

Klinkenberg, Lutz ; Winkler, Tobias ; Chen, Mingshuai.
http://arxiv.org/abs/2302.00513.  , 2023
Link: http://arxiv.org/abs/230..
 
?
15

Exact Bayesian Inference for Loopy Probabilistic Programs:

Klinkenberg, Lutz ; Blumenthal, Christian ; Chen, Mingshuai..
http://arxiv.org/abs/2307.07314.  , 2023
Link: http://arxiv.org/abs/230..
 
1-15