Advice-Guided Reinforcement Learning in a non-Markovian Environment. - Daniel Neider; Jean-Raphaël Gaglione; Ivan Gavran; Ufuk Topcu; Bo Wu 005; Zhe Xu 005 (AAAI, 2021)

Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. - Jean-Raphaël Gaglione; Daniel Neider; Rajarshi Roy 002; Ufuk Topcu; Zhe Xu 005 (ATVA, 2021)

Uncertainty-Aware Signal Temporal Logic Inference. - Nasim Baharisangari; Jean-Raphaël Gaglione; Daniel Neider; Ufuk Topcu; Zhe Xu 005 (VSTTE, 2021)

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach. - Jean-Raphaël Gaglione; Daniel Neider; Rajarshi Roy 002; Ufuk Topcu; Zhe Xu 005 (CoRR, 2021)

Uncertainty-Aware Signal Temporal logic. - Nasim Baharisangari; Jean-Raphaël Gaglione; Daniel Neider; Ufuk Topcu; Zhe Xu 005 (CoRR, 2021)

Learning Temporal Logic Properties: an Overview of Two Recent Methods. - Jean-Raphaël Gaglione; Rajarshi Roy 002; Nasim Baharisangari; Daniel Neider; Zhe Xu 005; Ufuk Topcu (CoRR, 2022)

Learning Automata-Based Task Knowledge Representation from Large-Scale Generative Language Models. - Yunhao Yang; Jean-Raphaël Gaglione; Ufuk Topcu (CoRR, 2022)

MaxSAT-based temporal logic inference from noisy data. - Jean-Raphaël Gaglione; Daniel Neider; Rajarshi Roy 002; Ufuk Topcu; Zhe Xu 005 (Innov. Syst. Softw. Eng., 2022)

Learning Interpretable Temporal Properties from Positive Examples Only. - Rajarshi Roy 002; Jean-Raphaël Gaglione; Nasim Baharisangari; Daniel Neider; Zhe Xu 005; Ufuk Topcu (AAAI, 2023)

Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. - Yash Paliwal; Rajarshi Roy 002; Jean-Raphaël Gaglione; Nasim Baharisangari; Daniel Neider; Xiaoming Duan; Ufuk Topcu; Zhe Xu 005 (CD-MAKE, 2023)

Reinforcement Learning with Reward Machines in Stochastic Games. - Jueming Hu; Jean-Raphaël Gaglione; Yanze Wang; Zhe Xu 005; Ufuk Topcu; Yongming Liu (ECAI, 2023)

Specification-Driven Video Search via Foundation Models and Formal Verification. - Yunhao Yang; Jean-Raphaël Gaglione; Sandeep Chinchali; Ufuk Topcu (CoRR, 2023)

Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine. - Shayan Meshkat Alsadat; Jean-Raphaël Gaglione; Daniel Neider; Ufuk Topcu; Zhe Xu 005 (ACC, 2025)

Dynamic Coalition Structure Detection in Natural-Language-based Interactions. - Abhishek Ninad Kulkarni; Andy Liu; Jean-Raphaël Gaglione; Daniel Fried; Ufuk Topcu (AAMAS, 2025)