108 citations · 330 across the 34 of their papers we have counts for
4 papers · 1 filter
Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference
Zeyuan Jin, Nasim Baharisangari, Zhe Xu +1
This paper addresses the problem of data-driven model discrimination for unknown switched systems with unknown linear temporal logic (LTL) specifications, representing tasks, that…
Transfer of Temporal Logic Formulas in Reinforcement Learning
Zhe Xu, Ufuk Topcu
Transferring high-level knowledge from a source task to a target task is an effective way to expedite reinforcement learning (RL). For example, propositional logic and first-order…
Joint Inference of Reward Machines and Policies for Reinforcement Learning
Zhe Xu, Ivan Gavran, Yousef Ahmad +4
Incorporating high-level knowledge is an effective way to expedite reinforcement learning (RL), especially for complex tasks with sparse rewards. We investigate an RL problem where…
Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis
Zhe Xu, Agung Julius
In this paper, we define a novel census signal temporal logic (CensusSTL) that focuses on the number of agents in different subsets of a group that complete a certain task specifie…