Towards Formal Evaluation and Verification of Probabilistic Design

DOI10.1109/TC.2018.2807431zbMATH Open1433.68041OpenAlexW2790447789MaRDI QIDQ4683261FDOQ4683261

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)