21 citations · 129 across the 42 of their papers we have counts for
10 papers · 1 filter
Adaptive Conformal Prediction for Motion Planning among Dynamic Agents
Anushri Dixit, Lars Lindemann, Skylar Wei +3
This paper proposes an algorithm for motion planning among dynamic agents using adaptive conformal prediction. We consider a deterministic control system and use trajectory predict…
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…
Safe Planning in Dynamic Environments using Conformal Prediction
Lars Lindemann, Matthew Cleaveland, Gihyun Shim +1
We propose a framework for planning in unknown dynamic environments with probabilistic safety guarantees using conformal prediction. Particularly, we design a model predictive cont…
Risk Verification of Stochastic Systems with Neural Network Controllers
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov +1
Motivated by the fragility of neural network (NN) controllers in safety-critical applications, we present a data-driven framework for verifying the risk of stochastic dynamical sys…
Chordal Sparsity for SDP-based Neural Network Verification
Anton Xue, Lars Lindemann, Rajeev Alur
Neural networks are central to many emerging technologies, but verifying their correctness remains a major challenge. It is known that network outputs can be sensitive and fragile…
Risk of Stochastic Systems for Temporal Logic Specifications
Lars Lindemann, Lejun Jiang, Nikolai Matni +1
The wide availability of data coupled with the computational advances in artificial intelligence and machine learning promise to enable many future technologies such as autonomous…