Towards Formal Evaluation and Verification of Probabilistic Design

DOI10.1109/TC.2018.2807431zbMath1433.68041OpenAlexW2790447789MaRDI QIDQ4683261

Jie-Hong R. Jiang, Nian-Ze Lee

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

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

Related Items (1)

A resolution proof system for dependency stochastic Boolean satisfiability

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