Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons

Open in new window