assignment2 « assignments - NWI-I00110-Testing-Techniques - Files related to NWI-I00110 Testing Techniques, autumn 2017, Radboud University Nijmegen.

Mode	Name	Size
-rw-r--r--	.latexmkrc	263	log plain blame
-rw-r--r--	LStar_counterexamples.txt	4488	log plain blame
-rw-r--r--	LStar_hypothesis0.dot	832	log plain blame
-rw-r--r--	LStar_hypothesis1.dot	1023	log plain blame
-rw-r--r--	LStar_hypothesis2.dot	1405	log plain blame
-rw-r--r--	LStar_hypothesis3.dot	1598	log plain blame
-rw-r--r--	LStar_hypothesis4.dot	1790	log plain blame
-rw-r--r--	LStar_learnedModel.dot	1790	log plain blame
-rw-r--r--	RivestSchapire_counterexamples.txt	1679	log plain blame
-rw-r--r--	RivestSchapire_hypothesis0.dot	259	log plain blame
-rw-r--r--	RivestSchapire_hypothesis1.dot	451	log plain blame
-rw-r--r--	RivestSchapire_hypothesis2.dot	642	log plain blame
-rw-r--r--	RivestSchapire_hypothesis3.dot	1024	log plain blame
-rw-r--r--	TTT_counterexamples.txt	1679	log plain blame
-rw-r--r--	TTT_hypothesis0.dot	260	log plain blame
-rw-r--r--	TTT_hypothesis1.dot	453	log plain blame
-rw-r--r--	TTT_hypothesis2.dot	836	log plain blame
-rw-r--r--	TTT_hypothesis3.dot	1220	log plain blame
-rw-r--r--	Twice_counterexamples.txt	1517	log plain blame
-rw-r--r--	Twice_hypothesis0.dot	259	log plain blame
-rw-r--r--	Twice_hypothesis1.dot	1406	log plain blame
-rw-r--r--	Twice_hypothesis2.dot	1598	log plain blame
-rw-r--r--	assignment2.tex	2315	log plain blame