Cited By
View all- Calinescu RImrie CMangal RRodrigues GPăsăreanu CSantana MVázquez G(2024)Controller Synthesis for Autonomous Systems With Deep-Learning Perception ComponentsIEEE Transactions on Software Engineering10.1109/TSE.2024.338537850:6(1374-1395)Online publication date: Jun-2024
- Wang YZhou WFan JWang ZLi JChen XHuang CLi WZhu Q(2024)POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled SystemsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2023.333121543:3(994-1007)Online publication date: 1-Mar-2024
- Liang ZRen DXue BWang JYang WLiu W(2024)Verifying safety of neural networks from topological perspectivesScience of Computer Programming10.1016/j.scico.2024.103121236:COnline publication date: 1-Sep-2024
- Show More Cited By