firstbacksecondback
2 Results
|
Poster
|
Wed 15:00 |
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees Đorđe Žikelić · Đorđe Žikelić · Mathias Lechner · Abhinav Verma · Krishnendu Chatterjee · Thomas Henzinger |
|
|
Workshop
|
Privacy-preserving design of graph neural networks with applications to vertical federated learning Ruofan Wu · Mingyang Zhang · Lingjuan Lyu · Xiaolong Xu · Xiuquan Hao · xinyi fu · Tengfei LIU · Tianyi Zhang · Weiqiang Wang |