scientific article; zbMATH DE number 1946864

zbMath1045.68092arXiv1107.0020MaRDI QIDQ4411151

S. Livne, Orna Grumberg, Shaul Markovitch

Publication date: 7 July 2003

Full work available at URL: https://arxiv.org/abs/1107.0020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

binary decision diagrams

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Bandit-based Monte-Carlo structure learning of probabilistic logic programs

This page was built for publication: