|
Poster
|
Trustworthy Monte Carlo Juha Harviainen · Mikko Koivisto · Petteri Kaski |
||
|
Poster
|
Wed 9:00 |
Generalization Analysis on Learning with a Concurrent Verifier Masaaki Nishino · Kengo Nakamura · Norihito Yasuda |
|
|
Workshop
|
Verifiable Goal Recognition for Autonomous Driving with Occlusions Cillian Brewitt · Massimiliano Tamborski · Stefano Albrecht |
||
|
Workshop
|
Fri 11:40 |
Verifiable Federated Machine Learning Simone Bottoni · Giulio Zizzo · Stefano Braghin · Alberto Trombetta |
|
|
Workshop
|
Fri 7:50 |
LightVeriFL: Lightweight and Verifiable Secure Federated Learning Baturalp Buyukates · Jinhyun So · Hessam Mahdavifar · Salman Avestimehr |