Zpět na vyhledávání

Bc. Radoslav Kvasňovský

Bachelor's thesis

Automated Synthesis of Probabilistic Termination Proofs

Automated Synthesis of Probabilistic Termination Proofs
Abstract:
Práca predstavuje známy algoritmus na analýzu terminácie pravdepodobnostných programov ako aj koncepty potrebné na porozumenie algoritmu. Práca je rozdelená do troch častí. V prvej zavedieme základné myšlienky analýzy terminácie klasických programov. V nasledujúcej uvedieme pravdepodobnostné alternatívy týchto myšlienok. V poslednej časti algoritmus detailne popíšeme a demonštrujeme na jednoduchom …more
Abstract:
This thesis presents a known probabilistic termination analysis algorithm, as well as the concepts required for the comprehension of its workings. The paper consists of three parts. Firstly, we establish basic ideas of traditional termination analysis. Secondly, we present their probabilistic alternatives. Finally, we explain the algorithm in detail and demonstrate it on a simple example. To complement …more
 

Keywords

probabilistic programs termination analysis ranking function supermartingale
 
Language used: English
Date on which the thesis was submitted / produced: 23. 5. 2024
Identifier: https://is.muni.cz/th/k74xa/

Thesis defence

  • Date of defence: 27. 6. 2024
  • Supervisor: doc. RNDr. Petr Novotný, Ph.D.
  • Reader: Mgr. Marek Trtík, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Informatics

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.