<div class="csl-bib-body">
<div class="csl-entry">Bartocci, E. (2026). Reasoning About Probabilistic Loops, Moment by Moment (Invited Talk). In <i>37th International Conference on Concurrency Theory (CONCUR 2026)</i> (pp. 1–3). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CONCUR.2026.2</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/230962
-
dc.language.iso
en
-
dc.relation.ispartofseries
Leibniz International Proceedings in Informatics (LIPIcs)
-
dc.subject
Probabilistic Loop
en
dc.subject
Symbolic Analysis
en
dc.subject
Termination Analysis
en
dc.subject
Bayesian Networks
en
dc.subject
Stochastic Systems
en
dc.title
Reasoning About Probabilistic Loops, Moment by Moment (Invited Talk)
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.description.startpage
1
-
dc.description.endpage
3
-
dc.type.category
Keynote Contribution
-
tuw.booktitle
37th International Conference on Concurrency Theory (CONCUR 2026)
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Dagstuhl Publishing
-
tuw.book.chapter
2
-
tuw.publication.invited
invited
-
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
E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publication.orgunit
E056-13 - Fachbereich LogiCS
-
tuw.publication.orgunit
E056-26 - Fachbereich Automated Reasoning
-
tuw.publisher.doi
10.4230/LIPIcs.CONCUR.2026.2
-
dc.description.numberOfPages
3
-
tuw.author.orcid
0000-0002-8004-6601
-
tuw.event.name
37th International Conference on Concurrency Theory (CONCUR 2026)
en
tuw.event.startdate
01-09-2026
-
tuw.event.enddate
04-09-2026
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Liverpool
-
tuw.event.country
GB
-
tuw.event.presenter
Bartocci, Ezio
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
