Author of the publication

Improving Local Search Algorithms via Probabilistic Configuration Checking.

, , , , , and . AAAI, page 10283-10290. AAAI Press, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems., , , , , , , and . ICDE, page 2511-2522. IEEE, (2021)Time-invariant Discontinuous Feedback Stablization of Underactuated Surface Vessel under Wave Disturbance., and . SPAC, page 466-469. IEEE, (2021)PURLTL: Mining LTL Specification from Imperfect Traces in Testing., , , , , , , and . ASE, page 1766-1770. IEEE, (2023)Robust NN Control of the Manipulator in the Underwater Vehicle-Manipulator System., and . ISNN (2), volume 10262 of Lecture Notes in Computer Science, page 75-82. Springer, (2017)NN Based Adaptive Dynamic Surface Control for Fully Actuated AUV., , , and . ISNN (2), volume 7952 of Lecture Notes in Computer Science, page 79-87. Springer, (2013)A DSC and MLP based robust adaptive NN tracking control for underwater vehicle., , and . Neurocomputing, (2013)Observer-Based Event-Triggered Formation Control of Multi-Agent Systems With Switching Directed Topologies., , , , and . IEEE Trans. Circuits Syst. I Regul. Pap., 69 (3): 1323-1332 (2022)Robust Fin Control for Ship Roll Stabilization by Using Functional-Link Neural Networks., , and . ISNN (2), volume 7952 of Lecture Notes in Computer Science, page 228-237. Springer, (2013)A 20W Ka-Band Dual-Port Power Amplifier for Communication Satellites., , , , , , and . ICTA, page 100-101. IEEE, (2022)Checking LTL Satisfiability via End-to-end Learning., , , , and . ASE, page 21:1-21:13. ACM, (2022)