h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Winkler, Tobias
%A Katoen, Joost-Pieter
%T Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
%V 13994
%C Cham
%I Springer Nature Switzerland
%M RWTH-2023-10303
%B Lecture Notes in Computer Science
%P 391-409
%D 2023
%< Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina
%B 29. International Conference Tools and Algorithms for the Construction and Analysis of Systems
%C 22 Apr 2023 - 27 Apr 2023, Paris (France)
Y2 22 Apr 2023 - 27 Apr 2023
M2 Paris, France
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%U <Go to ISI:>//WOS:001288698100024
%R 10.1007/978-3-031-30820-8_24
%U https://publications.rwth-aachen.de/record/972636