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: 10-Apr-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
- He X(2024)Designing Deep Neural Net Controller for Quadrotor Attitude Stabilization2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS62785.2024.00047(407-417)Online publication date: 1-Jul-2024
- Show More Cited By