Jiameng Fan

Orcid: 0000-0001-9325-7718

According to our database1, Jiameng Fan authored at least 17 papers between 2016 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., March, 2024

REGLO: Provable Neural Network Repair for Global Robustness Properties.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2022
Towards provably safe and robust learning-enabled systems
PhD thesis, 2022

DRIBO: Robust Deep Reinforcement Learning via Multi-View Information Bottleneck.
Proceedings of the International Conference on Machine Learning, 2022

POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2022

ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021
Robust Deep Reinforcement Learning via Multi-View Information Bottleneck.
CoRR, 2021

Adversarial Training and Provable Robustness: A Tale of Two Objectives.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2020

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

Pipelined implementation of serial comparison based iterative sort on FPGA.
Proceedings of the AIAM2020: 2nd International Conference on Artificial Intelligence and Advanced Manufacture, 2020

2019
ReachNN: Reachability Analysis of Neural-Network Controlled Systems.
ACM Trans. Embed. Comput. Syst., 2019

Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation.
CoRR, 2019

Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper.
Proceedings of the International Conference on Computer-Aided Design, 2019

2016
A master-slave control system for lower limb rehabilitation robot with pedal-actuated exoskeleton.
Proceedings of the IEEE International Conference on Real-time Computing and Robotics, 2016


  Loading...