Wie genau sind die Schätzungen? Verbesserung der Grundlagen des statistischen Modellchecks
Der Kern dieser Arbeit ist, die statistischen Methoden zu verbessern, die verwendet werden, um Übergangswahrscheinlichkeiten in Markov-Entscheidungsprozessen (MDPs) zu schätzen, wenn die genauen Wahrscheinlichkeiten unbekannt sind. Die Autoren zeigen, dass einfachere statistische Methoden wie die Hoeffding-Ungleichung durch fortgeschrittenere Methoden wie das Wilson-Score-Intervall mit Kontinuitätskorrektur oder das Clopper-Pearson-Intervall ersetzt werden können, um die Genauigkeit der Schätzungen deutlich zu verbessern.