Parametric abstraction of behavioral modes for model-based diagnosis

DOI10.3233/AIC-2009-0444zbMath1187.68374OpenAlexW1676946443MaRDI QIDQ5322326

Pietro Torasso, Gianluca Torta

Publication date: 20 July 2009

Published in: AI Communications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/aic-2009-0444

zbMATH Keywords

model-based diagnosisabstractionmodel compilation

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

This page was built for publication: Parametric abstraction of behavioral modes for model-based diagnosis