Guaranteed Inference for Probabilistic Programs: AParallelisable, Small-Step Operational Approach

Verification, Model Checking, and Abstract Interpretation 2024 / Michele Boreale. - STAMPA. - (2024), pp. 141-162. [10.1007/978-3-031-50521-8]

Verification, Model Checking, and Abstract Interpretation 2024

Michele Boreale
2024

Abstract

Guaranteed Inference for Probabilistic Programs: AParallelisable, Small-Step Operational Approach
2024
9783031505201
9783031505218
Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach
141
162
Michele Boreale
2a - Art/Cap/Saggio libro scient/tech
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1361754
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact