Pappas, George J
1361  Ergebnisse:
Personensuche X
?
6

Uncertainty Quantification for Learning-based MPC using Wei..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
 
?
9

Resilient Temporal Logic Planning in the Presence of Robot ..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
 
?
10

Safe Perception-Based Control Under Stochastic Sensor Uncer..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Yang, Shuo ; Pappas, George J. ; Mangharam, Rahul. - p. 6072-6078 , 2023
 
?
11

Enhancing Sample Efficiency and Uncertainty Compensation in..:

, In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),
Chee, Kong Yao ; Silva, Thales C. ; Hsieh, M. Ani. - p. 9435-9441 , 2023
 
?
12

Safety Filter Design for Neural Network Systems via Convex ..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Chen, Shaoru ; Chee, Kong Yao ; Matni, Nikolai.. - p. 6356-6363 , 2023
 
?
13

Conformal Prediction for STL Runtime Verification:

, In: 2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton),
 
?
14

Risk of Stochastic Systems for Temporal Logic Specification:

Lindemann, Lars ; Jiang, Lejun ; Matni, Nikolai.
ACM Transactions on Embedded Computing Systems.  22 (2023)  3 - p. 1-31 , 2023
 
?
15

Toward Certified Robustness Against Real-World Distribution..:

, In: 2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML),
Wu, Haoze ; Tagomori, Teruhiro ; Robey, Alexander... - p. 537-553 , 2023
 
1-15