On the Cost of Diagnosis with Disambiguation

DOI10.1007/978-3-319-66335-7_9zbMath1420.68147OpenAlexW2625683087MaRDI QIDQ5194928

Loïc Hélouët, Hervé Marchand

Publication date: 17 September 2019

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01537796/file/CostDiag.pdf

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: On the Cost of Diagnosis with Disambiguation