Miguel A. Carrillo, David A. Rosenblueth. Learning Models from Temporal-Logic Properties via Explanations. In Thomas Roth-Berghofer, Stefan Schulz, Daniel Bahls, David B. Leake, editors, Explanation-Aware Computing, Papers from the 2007 AAAI Workshop, Vancouver, British Columbia, Canada, July 22-23, 2007. Volume WS-07-06 of AAAI Technical Report, pages 10-13, AAAI Press, 2007.
Abstract is missing.