Sicun Gao
Orcid: 0000-0003-2524-4960
According to our database1,
Sicun Gao
authored at least 86 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024
Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024
Proceedings of the IEEE International Conference on Robotics and Automation, 2024
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Proceedings of the Document Analysis and Recognition - ICDAR 2024 - 18th International Conference, Athens, Greece, August 30, 2024
Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control.
IEEE Trans. Robotics, June, 2023
CoRR, 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Accelerating Multi-Agent Planning Using Graph Transformers with Bounded Suboptimality.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
Everyone's Preference Changes Differently: A Weighted Multi-Interest Model For Retrieval.
Proceedings of the International Conference on Machine Learning, 2023
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023
2022
A Neural Lyapunov Approach to Transient Stability Assessment of Power Electronics-Interfaced Networked Microgrids.
IEEE Trans. Smart Grid, 2022
Every Preference Changes Differently: Neural Multi-Interest Preference Model with Temporal Dynamics for Recommendation.
CoRR, 2022
Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods.
CoRR, 2022
Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
Policy Optimization with Advantage Regularization for Long-Term Fairness in Decision Systems.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022
Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation.
Proceedings of the Conference on Robot Learning, 2022
Learning Bounded Context-Free-Grammar via LSTM and the Transformer: Difference and the Explanations.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
SP&R: SMT-Based Simultaneous Place-and-Route for Standard Cell Synthesis of Advanced Nodes.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021
Reducing Collision Checking for Sampling-Based Motion Planning Using Graph Neural Networks.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
A Neural Lyapunov Approach to Transient Stability Assessment in Interconnected Microgrids.
Proceedings of the 54th Hawaii International Conference on System Sciences, 2021
Proceedings of the Conference on Robot Learning, 8-11 November 2021, London, UK., 2021
Participatory Algorithmic Management: Elicitation Methods for Worker Well-Being Models.
Proceedings of the AIES '21: AAAI/ACM Conference on AI, 2021
2020
Grid-Based Framework for Routability Analysis and Diagnosis With Conditional Design Rules.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Transient Stability Assessment of Networked Microgrids Using Neural Lyapunov Methods.
CoRR, 2020
Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020
Proceedings of the 37th International Conference on Machine Learning, 2020
SP&R: Simultaneous Placement and Routing framework for standard cell synthesis in sub-7nm.
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020
2019
How to pick the domain randomization parameters for sim-to-real transfer of reinforcement learning policies?
CoRR, 2019
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019
Proceedings of the 2019 International Symposium on Physical Design, 2019
VeriSketch: Synthesizing Secure Hardware Designs with Timing-Sensitive Information Flow Properties.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability.
Proceedings of the Numerical Software Verification - 12th International Workshop, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
LEMAX: learning-based energy consumption minimization in approximate computing with quality guarantee.
Proceedings of the 55th Annual Design Automation Conference, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017
Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables.
Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, 2017
2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
CyberCardia project: Modeling, verification and validation of implantable cardiac devices.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016
2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems.
Proceedings of the Computational Methods in Systems Biology, 2015
Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty.
CoRR, 2014
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Computational Methods in Systems Biology, 2014
2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Proceedings of the Automated Deduction - CADE-24, 2013
2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
2011
Proceedings of the Algebraic Informatics - 4th International Conference, 2011
2010
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010