"Learning Models from Temporal-Logic Properties via Explanations."

Miguel Carrillo, David A. Rosenblueth (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics