Jean-Raphaël Gaglione

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 16

Top Topics

Reinforcement Learning

Temporally Extended

Top Venues

Publications

Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine. CoRR (2024)
Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu
Reinforcement Learning With Reward Machines in Stochastic Games. CoRR (2023)
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CoRR (2023)
Yunhao Yang, Jean-Raphaël Gaglione, Sandeep Chinchali, Ufuk Topcu
Specification-Driven Video Search via Foundation Models and Formal Verification. CoRR (2023)
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CD-MAKE (2023)
Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu
Reinforcement Learning with Reward Machines in Stochastic Games. ECAI (2023)
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Learning Interpretable Temporal Properties from Positive Examples Only. AAAI (2023)
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Learning Interpretable Temporal Properties from Positive Examples Only. CoRR (2022)
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
MaxSAT-based temporal logic inference from noisy data. Innov. Syst. Softw. Eng. 18 (3) (2022)
Yunhao Yang, Jean-Raphaël Gaglione, Ufuk Topcu
Learning Automata-Based Task Knowledge Representation from Large-Scale Generative Language Models. CoRR (2022)
Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Learning Temporal Logic Properties: an Overview of Two Recent Methods. CoRR (2022)
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach. CoRR (2021)
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
Uncertainty-Aware Signal Temporal logic. CoRR (2021)
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. ATVA (2021)
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
Uncertainty-Aware Signal Temporal Logic Inference. VSTTE (2021)
Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu
Advice-Guided Reinforcement Learning in a non-Markovian Environment. AAAI (2021)