Jean-Raphaël Gaglione

According to our database, Jean-Raphaël Gaglione authored at least 6 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Reinforcement Learning with Reward Machines in Stochastic Games.

Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Reinforcement Learning with Temporal-Logic-Based Causal Diagrams.

Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu

Proceedings of the Machine Learning and Knowledge Extraction, 2023

Learning Interpretable Temporal Properties from Positive Examples Only.

Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2021

Uncertainty-Aware Signal Temporal Logic Inference.

Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu

Proceedings of the Software Verification - 13th International Conference, 2021

Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach.

Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu

Proceedings of the Automated Technology for Verification and Analysis, 2021

Advice-Guided Reinforcement Learning in a non-Markovian Environment.

Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021