Weilin Luo

According to our database, Weilin Luo authored at least 48 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter.

Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao

J. Syst. Softw., 2024

Machine Learning Insides OptVerse AI Solver: Design Principles and Applications.

Xijun Li, Fangzhou Zhu, Hui-Ling Zhen, Weilin Luo, Meng Lu, Yimin Huang, Zhenan Fan, Zirui Zhou, Yufei Kuang, Zhihai Wang, Zijie Geng, Yang Li, Haoyang Liu, Zhiwu An, Muming Yang, Jianshu Li, Jie Wang, Junchi Yan, Defeng Sun, Tao Zhong, Yong Zhang, Jia Zeng, Mingxuan Yuan, Jianye Hao, Jun Yao, Kun Mao

CoRR, 2024

Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking.

Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan, Jianfeng Du, Weiyuan Fang

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking.

Weilin Luo, Weiyuan Fang, Junming Qiu, Hai Wan, Yanan Liu, Rongzhen Ye

Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results, 2024

L2P-MIP: Learning to Presolve for Mixed Integer Programming.

Chang Liu, Zhichen Dong, Haobo Ma, Weilin Luo, Xijun Li, Bowen Pang, Jia Zeng, Junchi Yan

Proceedings of the Twelfth International Conference on Learning Representations, 2024

End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding.

Hai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey.

Chao Yu, Xuejing Zheng, Hankz Hankui Zhuo, Hai Wan, Weilin Luo

CoRR, 2023

PURLTL: Mining LTL Specification from Imperfect Traces in Testing.

Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du, Hai Wan, Rongzhen Ye, Yuhang Zheng

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning.

Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

A Noise-Tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving.

Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Learning-Based Policy Optimization for Adversarial Missile-Target Assignment.

Weilin Luo, Jinhu Lü, Kexin Liu, Lei Chen

IEEE Trans. Syst. Man Cybern. Syst., 2022

Observer-Based Event-Triggered Formation Control of Multi-Agent Systems With Switching Directed Topologies.

Guoliang Zhu, Kexin Liu, Haibo Gu, Weilin Luo, Jinhu Lü

IEEE Trans. Circuits Syst. I Regul. Pap., 2022

Optimizing Constrained Guidance Policy With Minimum Overload Regularization.

Weilin Luo, Lei Chen, Kexin Liu, Haibo Gu, Jinhu Lü

IEEE Trans. Circuits Syst. I Regul. Pap., 2022

Checking LTL Satisfiability via End-to-end Learning.

Weilin Luo, Hai Wan, Delong Zhang, Jianfeng Du, Hengdi Su

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Teaching LTLf Satisfiability Checking to Neural Networks.

Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

A 20W Ka-Band Dual-Port Power Amplifier for Communication Satellites.

Chi Chen, Kuan Hu, Weilin Luo, Kang Yin, Ruiyuan Kang, Ying Zhao, Fei Yang

Proceedings of the 2022 IEEE International Conference on Integrated Circuits, 2022

Improving Local Search Algorithms via Probabilistic Configuration Checking.

Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae.

Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets.

Weilin Luo, Ou Wei, Hai Wan

IEEE Trans. Reliab., 2021

Underwater Image Restoration and Enhancement Based on a Fusion Algorithm With Color Balance, Contrast Optimization, and Histogram Stretching.

Weilin Luo, Shunqiang Duan, Jiwen Zheng

IEEE Access, 2021

Time-invariant Discontinuous Feedback Stablization of Underactuated Surface Vessel under Wave Disturbance.

Weilin Luo, Fan Zhang

Proceedings of the 2021 International Conference on Security, 2021

How to Identify Boundary Conditions with Contrasty Metric?

Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems.

Xijun Li, Weilin Luo, Mingxuan Yuan, Jun Wang, Jiawen Lu, Jie Wang, Jinhu Lü, Jia Zeng

Proceedings of the 37th IEEE International Conference on Data Engineering, 2021

An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae.

Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

A DQN-based Approach to Finding Precise Evidences for Fact Verification.

Hai Wan, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye

Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021

2020

Optimal Performance and Application for Firework Algorithm Using a Novel Chaotic Approach.

Weilin Luo, Hongbin Jin, Hao Li, Xi Fang, Ronghua Zhou

IEEE Access, 2020

Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification.

Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae.

Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei

CoRR, 2019

Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem.

Peilin Chen, Hai Wan, Shaowei Cai, Weilin Luo, Jia Li

CoRR, 2019

Stablization of an Underactuated Surface Vessel with Disturbances.

Weilin Luo, Tieshan Li

Proceedings of the 15th IEEE International Conference on Control and Automation, 2019

2017

Neural network based fin control for ship roll stabilization with guaranteed robustness.

Weilin Luo, Bingbing Hu, Tieshan Li

Neurocomputing, 2017

WAP: SAT-Based Computation of Minimal Cut Sets.

Weilin Luo, Ou Wei

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Robust NN Control of the Manipulator in the Underwater Vehicle-Manipulator System.

Weilin Luo, Hongchao Cong

Proceedings of the Advances in Neural Networks - ISNN 2017 - 14th International Symposium, 2017

2016

Control for Ship Course-Keeping Using Optimized Support Vector Machines.

Weilin Luo, Hongchao Cong

Algorithms, 2016

Neural network based robust adaptive tracking control for the automomous underwater vehicle.

Ye Tian, Tieshan Li, Baobin Miao, Weilin Luo

Proceedings of the Eighth International Conference on Advanced Computational Intelligence, 2016

2013

An approximate solution for electrolyte concentration distribution in physics-based lithium-ion cell models.

Weilin Luo, Chao Lyu, Lixin Wang, Liqiang Zhang

Microelectron. Reliab., 2013

A DSC and MLP based robust adaptive NN tracking control for underwater vehicle.

Baobin Miao, Tieshan Li, Weilin Luo

Neurocomputing, 2013

NN Based Adaptive Dynamic Surface Control for Fully Actuated AUV.

Baobin Miao, Tieshan Li, Weilin Luo, Xiaori Gao

Proceedings of the Advances in Neural Networks - ISNN 2013, 2013

Robust Fin Control for Ship Roll Stabilization by Using Functional-Link Neural Networks.

Weilin Luo, Wenjing Lv, Zaojian Zou

Proceedings of the Advances in Neural Networks - ISNN 2013, 2013

Neural Network Based Robust Adaptive Dynamic Surface Control for AUVs.

Baobin Miao, Tieshan Li, Weilin Luo

Proceedings of the 3rd IFAC International Conference on Intelligent Control and Automation Science, 2013

2011

Robust Cascaded Control of Propeller Thrust for AUVs.

Weilin Luo, Zaojian Zou

Proceedings of the Advances in Neural Networks - ISNN 2011, 2011

2010

DSC approach to robust adaptive NN tracking control for a class of MIMO systems.

Tieshan Li, Wei Li, Weilin Luo

Int. J. Model. Identif. Control., 2010

2006

Blind space-time multiuser channel estimation in time-varying DS-CDMA systems.

Jitendra K. Tugnait, Weilin Luo

IEEE Trans. Veh. Technol., 2006

2004

Blind identification of time-varying channels using multistep linear predictors.

Jitendra K. Tugnait, Weilin Luo

IEEE Trans. Signal Process., 2004

2003

On channel estimation using superimposed training and first-order statistics.

Jitendra K. Tugnait, Weilin Luo

IEEE Commun. Lett., 2003

Blind multiuser channel estimation in time-varying direct sequence code division multiple access systems.

Weilin Luo, Jitendra K. Tugnait

Proceedings of the 2003 IEEE International Conference on Acoustics, 2003

2002

Linear prediction error method for blind identification of periodically time-varying channels.

Jitendra K. Tugnait, Weilin Luo

IEEE Trans. Signal Process., 2002

Further results on blind equalization and estimation of SIMO time-varying channels.

Weilin Luo, Jitendra K. Tugnait

Proceedings of the 2002 International Symposium on Circuits and Systems, 2002