activity
20202025
most citedData-Driven Model Invalidation for Unknown Lipschitz Continuous Systems via Abstraction

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2023

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…