<div class="csl-bib-body">
<div class="csl-entry">Moosbrugger, M., Müllner, J., Bartocci, E., & Kovacs, L. (2025). Polar: An Algebraic Analyzer for (Probabilistic) Loops. In <i>Principles of Verification: Cycling the Probabilistic Landscape</i> (Vol. 15260, pp. 179–200). https://doi.org/10.1007/978-3-031-75783-9_8</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/208567
-
dc.description.sponsorship
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.description.sponsorship
European Commission
-
dc.description.sponsorship
Amazon Research Awards
-
dc.language.iso
en
-
dc.subject
Probabilistic Loops
en
dc.subject
Invariants Generation
en
dc.subject
Program Loops
en
dc.subject
Program Analysis
en
dc.title
Polar: An Algebraic Analyzer for (Probabilistic) Loops
en
dc.type
Book Contribution
en
dc.type
Buchbeitrag
de
dc.contributor.affiliation
TU Wien, Austria
-
dc.description.startpage
179
-
dc.description.endpage
200
-
dc.relation.grantno
ICT19-018
-
dc.relation.grantno
ERC Consolidator Grant 2020
-
dc.relation.grantno
ARA 20223
-
dc.type.category
Edited Volume Contribution
-
tuw.booktitle
Principles of Verification: Cycling the Probabilistic Landscape
-
tuw.container.volume
15260
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.project.title
Distribution Recovery for Invariant Generation of Probabilistic Programs
-
tuw.project.title
Automated Reasoning with Theories and Induction for Software Technologies
-
tuw.project.title
QuAT: Quantifiers and Arithmetic Theories are Friends with Benefits
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publication.orgunit
E056-10 - Fachbereich SecInt-Secure and Intelligent Human-Centric Digital Technologies
-
tuw.publication.orgunit
E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems
-
tuw.publisher.doi
10.1007/978-3-031-75783-9_8
-
dc.description.numberOfPages
22
-
tuw.author.orcid
0009-0006-2909-2297
-
tuw.author.orcid
0000-0002-8004-6601
-
tuw.author.orcid
0000-0002-8299-2714
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Elektrotechnik, Elektronik, Informationstechnik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
2020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
50
-
wb.sciencebranch.value
40
-
wb.sciencebranch.value
10
-
item.languageiso639-1
en
-
item.openairetype
book part
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_3248
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
TU Wien
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
-
crisitem.author.dept
E192 - Institut für Logic and Computation
-
crisitem.author.orcid
0009-0006-2909-2297
-
crisitem.author.orcid
0000-0002-8004-6601
-
crisitem.author.orcid
0000-0002-8299-2714
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E191 - Institut für Computer Engineering
-
crisitem.author.parentorg
E180 - Fakultät für Informatik
-
crisitem.project.funder
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
