Asymptotic Analysis of Probabilistic Programs : When Expectations Do Not Meet Our Expectations
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F25%3A00143998" target="_blank" >RIV/00216224:14330/25:00143998 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1007/978-3-031-75783-9_4" target="_blank" >https://doi.org/10.1007/978-3-031-75783-9_4</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-75783-9_4" target="_blank" >10.1007/978-3-031-75783-9_4</a>
Alternative languages
Result language
angličtina
Original language name
Asymptotic Analysis of Probabilistic Programs : When Expectations Do Not Meet Our Expectations
Original language description
The computational complexity of a probabilistic program C is traditionally measured by the expected values of certain random variables defined over the runs of C. However, in some cases, this approach may lead to misleading conclusions about the actual runtime behavior of the program. Furthermore, the analysis of expected values is not compositional in general. In this paper, we propose alternative complexity measures for probabilistic programs that overcome some of these difficulties.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday
ISBN
9783031757822
ISSN
0302-9743
e-ISSN
1611-3349
Number of pages
13
Pages from-to
85-97
Publisher name
Springer
Place of publication
Berlin, Germany
Event location
Aachen, Germany
Event date
Nov 7, 2024
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—