( en | de | ru )

 

Disambiguierung von "Gao, Sicun"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SMT Encoding of Hybrid Systems in dReal.

, , und . ARCH@CPSWeek, Volume 34 von EPiC Series in Computing, Seite 188-195. EasyChair, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Zhigang Gao

Gao Guo

Yi Gao

Hailong Gao

Yawen Gao

 

Weitere Publikationen von Autoren mit dem selben Namen

Accelerating Multi-Agent Planning Using Graph Transformers with Bounded Suboptimality., , , und . ICRA, Seite 3432-3439. IEEE, (2023)Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables., , , , , und . SCAV@CPSWeek, Seite 11-18. ACM, (2017)dReal: An SMT Solver for Nonlinear Theories over the Reals., , und . CADE, Volume 7898 von Lecture Notes in Computer Science, Seite 208-214. Springer, (2013)Nonlinearity, Automation, and Reliable Cyberphysical Systems.. Computer, 54 (7): 94-96 (2021)Smaller Language Models are Better Zero-shot Machine-Generated Text Detectors., , , , und . EACL (2), Seite 278-293. Association for Computational Linguistics, (2024)Monte Carlo Tree Descent for Black-Box Optimization., und . NeurIPS, (2022)Policy Optimization with Advantage Regularization for Long-Term Fairness in Decision Systems., , , und . NeurIPS, (2022)Satisfiability modulo ODEs., , und . FMCAD, Seite 105-112. IEEE, (2013)Transient Stability Assessment of Networked Microgrids Using Neural Lyapunov Methods., , und . CoRR, (2020)Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller., , , , , und . ICRA, Seite 14348-14355. IEEE, (2024)