Risk verification of stochastic systems with neural network controllers von Cleaveland, Matthew, Lindemann, Lars, Ivanov, Radoslav, Pappas, George J.

Volltext

Safe Planning in Dynamic Environments Using Conformal Prediction von Lindemann, Lars, Cleaveland, Matthew, Shim, Gihyun, Pappas, George J.

Volltext

Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems: Position Paper von Ruchkin, Ivan, Cleaveland, Matthew, Sokolsky, Oleg, Lee, Insup

Volltext

Conservative Safety Monitors of Stochastic Dynamical Systems von Cleaveland, Matthew, Sokolsky, Oleg, Lee, Insup, Ruchkin, Ivan

Volltext

Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks von Kaur, Ramneet, Ivanov, Radoslav, Cleaveland, Matthew, Sokolsky, Oleg, Lee, Insup

Volltext

Repairing Learning-Enabled Controllers While Preserving What Works von Lu, Pengyuan, Cleaveland, Matthew, Sokolsky, Oleg, Lee, Insup, Ruchkin, Ivan

Volltext bestellen

Causal Repair of Learning-enabled Cyber-physical Systems von Lu, Pengyuan, Ruchkin, Ivan, Cleaveland, Matthew, Sokolsky, Oleg, Lee, Insup

Volltext bestellen

Conformal Prediction Regions for Time Series using Linear Complementarity Programming von Cleaveland, Matthew, Lee, Insup, Pappas, George J, Lindemann, Lars

Volltext bestellen

Conservative Safety Monitors of Stochastic Dynamical Systems von Cleaveland, Matthew, Sokolsky, Oleg, Lee, Insup, Ruchkin, Ivan

Volltext bestellen

Safe Planning in Dynamic Environments using Conformal Prediction von Lindemann, Lars, Cleaveland, Matthew, Shim, Gihyun, Pappas, George J

Volltext bestellen

Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information von Cleaveland, Matthew, Yel, Esen, Kantaros, Yiannis, Lee, Insup, Bezzo, Nicola

Volltext bestellen

Risk Verification of Stochastic Systems with Neural Network Controllers von Cleaveland, Matthew, Lindemann, Lars, Ivanov, Radoslav, Pappas, George

Volltext bestellen

Multi-Modal Conformal Prediction Regions with Simple Structures by Optimizing Convex Shape Templates von Tumu, Renukanandan, Cleaveland, Matthew, Mangharam, Rahul, Pappas, George J, Lindemann, Lars

Volltext bestellen

Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis von Cleaveland, Matthew, Ruchkin, Ivan, Sokolsky, Oleg, Lee, Insup

Volltext bestellen

Robust Motion Planning in the Presence of Estimation Uncertainty von Lindemann, Lars, Cleaveland, Matthew, Kantaros, Yiannis, Pappas, George J

Volltext bestellen

Adaptive Conformal Prediction for Motion Planning among Dynamic Agents von Dixit, Anushri, Lindemann, Lars, Wei, Skylar, Cleaveland, Matthew, Pappas, George J, Burdick, Joel W

Volltext bestellen

Distributionally Robust Statistical Verification with Imprecise Neural Networks von Dutta, Souradeep, Caprio, Michele, Lin, Vivian, Cleaveland, Matthew, Jang, Kuk Jin, Ruchkin, Ivan, Sokolsky, Oleg, Lee, Insup

Volltext bestellen

Repairing Learning-Enabled Controllers While Preserving What Works von Lu, Pengyuan, Cleaveland, Matthew, Sokolsky, Oleg, Lee, Insup, Ruchkin, Ivan

Volltext

Confidence Composition for Monitors of Verification Assumptions von Ruchkin, Ivan, Cleaveland, Matthew, Ivanov, Radoslav, Lu, Pengyuan, Carpenter, Taylor, Sokolsky, Oleg, Lee, Insup

Volltext bestellen

Conformal Prediction Regions for Time Series using Linear Complementarity Programming von Cleaveland, Matthew, Lee, Insup, Pappas, George J, Lindemann, Lars

Volltext