Finding Counterexamples Fast: Lessons learned in the ZULU challenge
Falk Maria Howar, Bernhard Steffen, Maik Merten · 2010
The concept of query learning (due to Dana Angluin [1]) is used and developed in several different communities today. The TU Dortmund team originates in the area of program verification. Active learning in this community is used to