AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference | NSF Public Access Repository

skip to main content

An official website of the United States government Here's how you know

Official websites use .gov

A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS

A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Citation Details

AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference

Award ID(s):: 1846354 2217144 2008883 1956374

PAR ID:: 10495991

Author(s) / Creator(s):: Zhou, Zitong; Huang, Zixin; Misailovic, Sasa

Publisher / Repository:: 21st International Symposium on Automated Technology for Verification and Analysis

Date Published:: 2023-10-10

Format(s):: Medium: X

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript
Conference Paper:
https://doi.org/10.1007/978-3-031-45332-8_16