9 citations · 23 across the 9 of their papers we have counts for
9 papers
Multi-agent Path Finding for Timed Tasks using Evolutionary Games
Sheryl Paul, Anand Balakrishnan, Xin Qin +1
Autonomous multi-agent systems such as hospital robots and package delivery drones often operate in highly uncertain environments and are expected to achieve complex temporal task…
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference
Navid Hashemi, Xin Qin, Lars Lindemann +1
We consider data-driven reachability analysis of discrete-time stochastic dynamical systems using conformal inference. We assume that we are not provided with a symbolic representa…
Conformance Testing for Stochastic Cyber-Physical Systems
Xin Qin, Navid Hashemi, Lars Lindemann +1
Conformance is defined as a measure of distance between the behaviors of two dynamical systems. The notion of conformance can accelerate system design when models of varying fideli…
Conformal Prediction for STL Runtime Verification
Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh +1
We are interested in predicting failures of cyber-physical systems during their operation. Particularly, we consider stochastic systems and signal temporal logic specifications, an…
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh +4
In this paper, we consider the problem of synthesizing a controller in the presence of uncertainty such that the resulting closed-loop system satisfies certain hard constraints whi…
Mining Shape Expressions with ShapeIt
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis +3
We present ShapeIt, a tool for mining specifications of cyber-physical systems (CPS) from their real-valued behaviors. The learned specifications are in the form of linear shape ex…
Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference
Chuchu Fan, Xin Qin, Yuan Xia +2
In this paper, we propose conformal inference based approach for statistical verification of CPS models. Cyber-physical systems (CPS) such as autonomous vehicles, avionic systems,…
Automatic Testing With Reusable Adversarial Agents
Xin Qin, Nikos Aréchiga, Andrew Best +1
Autonomous systems such as self-driving cars and general-purpose robots are safety-critical systems that operate in highly uncertain and dynamic environments. We propose an interac…
Joint Probability Distribution of Prediction Errors of ARIMA
Xin Qin, Jyotirmoy V. Deshmukh
Producing probabilistic guarantee for several steps of a predicted signal follow a temporal logic defined behavior has its rising importance in monitoring. In this paper, we derive…