2 citations · 3 across the 6 of their papers we have counts for
6 papers
Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
Reachability analysis is a popular method to give safety guarantees for stochastic cyber-physical systems (SCPSs) that takes in a symbolic description of the system dynamics and us…
Data-Driven Template-Free Invariant Generation
Yuan Xia, Jyotirmoy V. Deshmukh, Mukund Raghothaman +1
Automatic verification of concurrent programs faces state explosion due to the exponential possible interleavings of its sequential components coupled with large or infinite state…
Signal Temporal Logic-Guided Apprenticeship Learning
Aniruddh G. Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis
Apprenticeship learning crucially depends on effectively learning rewards, and hence control policies from user demonstrations. Of particular difficulty is the setting where the de…
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…
Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic
Sara Mohammadinejad, Jesse Thomason, Jyotirmoy V. Deshmukh
Natural language is an intuitive way for humans to communicate tasks to a robot. While natural language (NL) is ambiguous, real world tasks and their safety requirements need to be…