3 citations · 13 across the 9 of their papers we have counts for
9 papers
Dynamic Coalition Structure Detection in Natural Language-based Interactions
Abhishek N. Kulkarni, Andy Liu, Jean-Raphael Gaglione +2
In strategic multi-agent sequential interactions, detecting dynamic coalition structures is crucial for understanding how self-interested agents coordinate to influence outcomes. H…
Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine
Shayan Meshkat Alsadat, Jean-Raphael Gaglione, Daniel Neider +2
We present LARL-RM (Large language model-generated Automaton for Reinforcement Learning with Reward Machine) algorithm in order to encode high-level knowledge into reinforcement le…
Specification-Driven Video Search via Foundation Models and Formal Verification
Yunhao Yang, Jean-Raphaël Gaglione, Sandeep Chinchali +1
The increasing abundance of video data enables users to search for events of interest, e.g., emergency incidents. Meanwhile, it raises new concerns, such as the need for preserving…
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione +5
We study a class of reinforcement learning (RL) tasks where the objective of the agent is to accomplish temporally extended goals. In this setting, a common approach is to represen…
Reinforcement Learning With Reward Machines in Stochastic Games
Jueming Hu, Jean-Raphael Gaglione, Yanze Wang +3
We investigate multi-agent reinforcement learning for stochastic games with complex tasks, where the reward functions are non-Markovian. We utilize reward machines to incorporate h…
Learning Temporal Logic Properties: an Overview of Two Recent Methods
Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari +3
Learning linear temporal logic (LTL) formulas from examples labeled as positive or negative has found applications in inferring descriptions of system behavior. We summarize two me…
Automaton-Based Representations of Task Knowledge from Generative Language Models
Yunhao Yang, Jean-Raphaël Gaglione, Cyrus Neary +1
Automaton-based representations of task knowledge play an important role in control and planning for sequential decision-making problems. However, obtaining the high-level task kno…
Uncertainty-Aware Signal Temporal Logic Inference
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider +2
Temporal logic inference is the process of extracting formal descriptions of system behaviors from data in the form of temporal logic formulas. The existing temporal logic inferenc…
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy +2
We address the problem of inferring descriptions of system behavior using Linear Temporal Logic (LTL) from a finite set of positive and negative examples. Most of the existing appr…