Name Card

Full name Familienname, Vorname
Katoen, Joost-Pieter
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura Automated Termination Analysis of Polynomial Probabilistic ProgramsKonferenzbeitrag Inproceedings2021
2Marcel Moosbrugger ; Ezio Bartocci ; Katoen, Joost-Pieter ; Laura Kovács The Probabilistic Termination Tool AmberInproceedings Konferenzbeitrag 2021
3Arming, Sebastian ; Bartocci, Ezio ; Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Sokolova, Ana Parameter-Independent Strategies for pMDPs via POMDPsKonferenzbeitrag Inproceedings 2018

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kovács, Laura Symbolic Computation in Automated Program ReasoningInproceedings Konferenzbeitrag 3-Mar-2023