Jean-Raphaël Gaglione

19 papers A* 2A 2B 1C 2Journal 11Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Dynamic Coalition Structure Detection in Natural Language-based Interactions. CoRR Abhishek Ninad Kulkarni, Andy Liu, Jean-Raphaël Gaglione, Daniel Fried, Ufuk Topcu
2025	A	`conf`	Dynamic Coalition Structure Detection in Natural-Language-based Interactions. AAMAS Abhishek Ninad Kulkarni, Andy Liu, Jean-Raphaël Gaglione, Daniel Fried, Ufuk Topcu
2025	C	`conf`	Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine. ACC Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2024	J	`jnl`	Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine. CoRR Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2023	A*	`conf`	Learning Interpretable Temporal Properties from Positive Examples Only. AAAI Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2023	J	`jnl`	Reinforcement Learning With Reward Machines in Stochastic Games. CoRR Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu
2023	A	`conf`	Reinforcement Learning with Reward Machines in Stochastic Games. ECAI Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu
2023	C	`conf`	Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CD-MAKE Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
2023	J	`jnl`	Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CoRR Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
2023	J	`jnl`	Specification-Driven Video Search via Foundation Models and Formal Verification. CoRR Yunhao Yang, Jean-Raphaël Gaglione, Sandeep Chinchali, Ufuk Topcu
2022	J	`jnl`	Learning Automata-Based Task Knowledge Representation from Large-Scale Generative Language Models. CoRR Yunhao Yang, Jean-Raphaël Gaglione, Ufuk Topcu
2022	J	`jnl`	Learning Interpretable Temporal Properties from Positive Examples Only. CoRR Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2022	J	`jnl`	Learning Temporal Logic Properties: an Overview of Two Recent Methods. CoRR Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2022	J	`jnl`	MaxSAT-based temporal logic inference from noisy data. Innov. Syst. Softw. Eng. Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2021	A*	`conf`	Advice-Guided Reinforcement Learning in a non-Markovian Environment. AAAI Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu
2021	J	`jnl`	Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach. CoRR Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2021	B	`conf`	Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. ATVA Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2021	—	`conf`	Uncertainty-Aware Signal Temporal Logic Inference. VSTTE Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2021	J	`jnl`	Uncertainty-Aware Signal Temporal logic. CoRR Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu