Benutzer: Gast  Login
Dokumenttyp:
Konferenzbeitrag 
Art des Konferenzbeitrags:
Textbeitrag / Aufsatz 
Autor(en):
Anika Schumann, Jinbo Huang, Martin Sachenbacher 
Titel:
Computing Cost-Optimal Definitely Discriminating Tests 
Abstract:
The goal of testing is to discriminate between multiple hypotheses about a system - for example, different fault diagnoses - by applying input patterns and verifying or falsifying the hypotheses from the observed outputs. Definitely discriminating tests (DDTs) are those input patterns that are guaranteed to discriminate between different hypotheses of non-deterministic systems. Finding DDTs is important in practice, but can be very expensive. Even more challenging is the problem of finding a DDT...    »
 
Herausgeber:
AAAI Publications 
Kongress- / Buchtitel:
Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-2010) 
Jahr:
2010 
Sprache:
en 
Format:
Text