<div class="csl-bib-body">
<div class="csl-entry">Vana Gür, L. (2022, January 18). <i>Posterior Predictive Model Checking Using Formal Methods</i> [Presentation]. Research Seminar Talk Paris Lodron Universität Salzburg, Salzburg, Austria. http://hdl.handle.net/20.500.12708/196589</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/196589
-
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
en
-
dc.subject
Posterior predictive model checking
en
dc.subject
Bayesian inference
en
dc.subject
Spatio-Temporal Logic
en
dc.title
Posterior Predictive Model Checking Using Formal Methods
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.relation.grantno
ZK 35-G
-
dc.type.category
Presentation
-
tuw.publication.invited
invited
-
tuw.project.title
Hochdimensionales statistisches Lernen: Neue Methoden zur Förderung der Wirtschafts- und Nachhaltigkeitspolitik