Search Results - Sicun Gao

Refine Results
  1. 1
    Active learning of many-body configuration space: Application to the Cs+–water MB-nrg potential energy function as a case study

    Active learning of many-body configuration space: Application to the Cs+–water MB-nrg potential energy function as a case study by Zhai, Yaoguang, Caruso, Alessandro, Gao, Sicun, Paesani, Francesco

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Edmund Melson Clarke, Jr. (1945–2020)

    Edmund Melson Clarke, Jr. (1945–2020) by Gao, Sicun, Grumberg, Orna, Zuliani, Paolo

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control

    Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control by Dawson, Charles, Gao, Sicun, Fan, Chuchu

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Nonlinearity, Automation, and Reliable Cyberphysical Systems

    Nonlinearity, Automation, and Reliable Cyberphysical Systems by Gao, Sicun

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey

    Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey by Ganai, Milan, Gao, Sicun, Herbert, Sylvia L.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Delta-Decidability over the Reals

    Delta-Decidability over the Reals by Sicun Gao, Avigad, J., Clarke, E. M.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    A Neural Lyapunov Approach to Transient Stability Assessment of Power Electronics-Interfaced Networked Microgrids

    A Neural Lyapunov Approach to Transient Stability Assessment of Power Electronics-Interfaced Networked Microgrids by Huang, Tong, Gao, Sicun, Xie, Le

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Many-Tier Vertical Gate-All-Around Nanowire FET Standard Cell Synthesis for Advanced Technology Nodes

    Many-Tier Vertical Gate-All-Around Nanowire FET Standard Cell Synthesis for Advanced Technology Nodes by Lee, Daeyeal, Ho, Chia-Tung, Kang, Ilgweon, Gao, Sicun, Lin, Bill, Cheng, Chung-Kuan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    A Neural Lyapunov Approach to Transient Stability Assessment of Power Electronics-Interfaced Networked Microgrids

    A Neural Lyapunov Approach to Transient Stability Assessment of Power Electronics-Interfaced Networked Microgrids by Huang, Tong, Gao, Sicun, Xie, Le

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance

    Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance by Yu, Hongzhan, Hirayama, Chiaki, Yu, Chenning, Herbert, Sylvia, Gao, Sicun

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions

    Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions by Qin, Zhizhen, Weng, Tsui-Wei, Gao, Sicun

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Grid-Based Framework for Routability Analysis and Diagnosis With Conditional Design Rules

    Grid-Based Framework for Routability Analysis and Diagnosis With Conditional Design Rules by Park, Dongwon, Lee, Daeyeal, Kang, Ilgweon, Holtz, Chester, Gao, Sicun, Lin, Bill, Cheng, Chung-Kuan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    SP&R: SMT-Based Simultaneous Place-and-Route for Standard Cell Synthesis of Advanced Nodes

    SP&R: SMT-Based Simultaneous Place-and-Route for Standard Cell Synthesis of Advanced Nodes by Lee, Daeyeal, Park, Dongwon, Ho, Chia-Tung, Kang, Ilgweon, Kim, Hayoung, Gao, Sicun, Lin, Bill, Cheng, Chung-Kuan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Stabilizing Neural Control Using Self-Learned Almost Lyapunov Critics

    Stabilizing Neural Control Using Self-Learned Almost Lyapunov Critics by Chang, Ya-Chien, Gao, Sicun

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Sample-and-Bound for Non-convex Optimization

    Sample-and-Bound for Non-convex Optimization by Zhai, Yaoguang, Qin, Zhizhen, Gao, Sicun

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    SCALE: Online Self-Supervised Lifelong Learning without Prior Knowledge

    SCALE: Online Self-Supervised Lifelong Learning without Prior Knowledge by Yu, Xiaofan, Guo, Yunhui, Gao, Sicun, Rosing, Tajana

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Fractal Landscapes in Policy Optimization

    Fractal Landscapes in Policy Optimization by Wang, Tao, Herbert, Sylvia, Gao, Sicun

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Activation-Descent Regularization for Input Optimization of ReLU Networks

    Activation-Descent Regularization for Input Optimization of ReLU Networks by Yu, Hongzhan, Gao, Sicun

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Learning Bounded Context-Free-Grammar via LSTM and the Transformer: Difference and the Explanations

    Learning Bounded Context-Free-Grammar via LSTM and the Transformer: Difference and the Explanations by Shi, Hui, Gao, Sicun, Tian, Yuandong, Chen, Xinyun, Zhao, Jishen

    Get full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Monte Carlo Tree Descent for Black-Box Optimization

    Monte Carlo Tree Descent for Black-Box Optimization by Zhai, Yaoguang, Gao, Sicun

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: