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

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

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)