Explaining counterexamples using causality

From MaRDI portal
Publication:453516

DOI10.1007/s10703-011-0132-2zbMath1247.68158OpenAlexW2065086898WikidataQ124843971 ScholiaQ124843971MaRDI QIDQ453516

Avigail Orni, Richard Trefler, Shoham Ben-David, Hana Chockler, Ilan Beer

Publication date: 27 September 2012

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-011-0132-2




Related Items (11)


Uses Software


Cites Work




This page was built for publication: Explaining counterexamples using causality