firstbacksecondback
7 Results
|
Workshop
|
Semantically Safe Robot Manipulation: From Semantic Scene Understanding to Motion Safeguards Lukas Brunke · Yanni Zhang · Ralf Römer · Jack Naimer · Nikola Staykov · SiQi Zhou · Angela Schoellig |
||
|
Poster
|
Thu 16:30 |
Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber · Stefan Mitsch · André Platzer |
|
|
Poster
|
Thu 16:30 |
Reinforcement Learning with Adaptive Regularization for Safe Control of Critical Systems Haozhe Tian · Homayoun Hamedmoghadam · Robert Shorten · Pietro Ferraro |
|
|
Poster
|
Thu 11:00 |
Fast yet Safe: Early-Exiting with Risk Control Metod Jazbec · Alexander Timans · Tin Hadži Veljković · Kaspar Sakmann · Dan Zhang · Christian Andersson Naesseth · Eric Nalisnick |
|
|
Workshop
|
A Probabilistic Generative Method for Safe Physical System Control Problems Peiyan Hu · Xiaowei Qian · Wenhao Deng · Rui Wang · Haodong Feng · Ruiqi Feng · Tao Zhang · Long Wei · Yue Wang · Zhi-Ming Ma · Tailin Wu |
||
|
Workshop
|
Sat 15:45 |
Fast yet Safe: Early-Exiting with Risk Control Metod Jazbec · Alexander Timans · Tin Hadži Veljković · Kaspar Sakmann · Dan Zhang · Christian Andersson Naesseth · Eric Nalisnick |
|
|
Workshop
|
Sat 15:45 |
Taming False Positives in Out-of-Distribution Detection with Human Feedback Harit Vishwakarma · Heguang Lin · Ramya Korlakai Vinayak |