TY - RPRT TI - Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons AU - Hazhar Rahmani AU - Jie Fu PY - 2025 UR - https://arxiv.org/abs/2505.18030 ID - 2505.18030 ER -