Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons

Hazhar Rahmani, Jie Fu

Many preference elicitation algorithms consider preference over propositional logic formulas or items with different attributes. In sequential decision making, a user's preference…