Cited By
View all- Chakraborty SJha SSamii SMundhenk P(2024)Introduction to the Special Issue on Automotive CPS Safety & Security: Part 2ACM Transactions on Cyber-Physical Systems10.1145/36502108:2(1-17)Online publication date: 15-May-2024
- Wang YZhan SJiao RWang ZJin WYang ZWang ZHuang CZhu QKrause ABrunskill ECho KEngelhardt BSabato SScarlett J(2023)Enforcing hard constraints with soft barriersProceedings of the 40th International Conference on Machine Learning10.5555/3618408.3619930(36593-36604)Online publication date: 23-Jul-2023
- Wang ZHuang CZhu QElkind E(2023)Efficient global robustness certification of neural networks via interleaving twin-network encoding (extended abstract)Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence10.24963/ijcai.2023/727(6498-6503)Online publication date: 19-Aug-2023
- Show More Cited By