Towards Formal Evaluation and Verification of Probabilistic Design

DOI10.1109/TC.2018.2807431MaRDI QIDQ4683261zbMATH OpenOpenAlexFDO

Authors Nian-Ze Lee, Jie-Hong R. Jiang

Publication date 20 September 2018

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tc.2018.2807431

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cited in

(2)

• Reachability design through approximate Bayesian computation
• A resolution proof system for dependency stochastic Boolean satisfiability

This page was built for publication: Towards Formal Evaluation and Verification of Probabilistic Design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4683261)