A Aralex Aachen research explorer

January 01, 2019 conference-paper Open access

On the termination problem for probabilistic higher-order recursive programs

Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna)

DOI: 10.1109/lics.2019.8785679 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 16

On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
2023 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Formal Methods in Verification

5

citations
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

6

citations

2 results

References 0