Weilin Luo - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 41 from 41

2024

End-to-End Learning of LTLf Formulae by Faithful LTLf EncodingHai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng. AAAI 2024: 9071-9079 [doi]

2023

2022

A 20W Ka-Band Dual-Port Power Amplifier for Communication SatellitesChi Chen, Kuan Hu, Weilin Luo, Kang Yin, Ruiyuan Kang, Ying Zhao, Fei Yang. icta3 2022: 100-101 [doi]

Improving Local Search Algorithms via Probabilistic Configuration CheckingWeilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang. AAAI 2022: 10283-10290 [doi]

Checking LTL Satisfiability via End-to-end LearningWeilin Luo, Hai Wan, Delong Zhang, Jianfeng Du, Hengdi Su. ASE 2022: [doi]

Teaching LTLf Satisfiability Checking to Neural NetworksWeilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang. IJCAI 2022: 3292-3298 [doi]

Learning-Based Policy Optimization for Adversarial Missile-Target AssignmentWeilin Luo, Jinhu Lü, Kexin Liu, Lei Chen. tsmc, 52(7):4426-4437, 2022. [doi]

Optimizing Constrained Guidance Policy With Minimum Overload RegularizationWeilin Luo, Lei Chen, Kexin Liu, Haibo Gu, Jinhu Lü. tcasI, 69(7):2994-3005, 2022. [doi]

Bridging LTLf Inference to GNN Inference for Learning LTLf FormulaeWeilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang. AAAI 2022: 9849-9857 [doi]

Observer-Based Event-Triggered Formation Control of Multi-Agent Systems With Switching Directed TopologiesGuoliang Zhu, Kexin Liu, Haibo Gu, Weilin Luo, Jinhu Lü. tcasI, 69(3):1323-1332, 2022. [doi]

2021

Learning to Optimize Industry-Scale Dynamic Pickup and Delivery ProblemsXijun Li, Weilin Luo, Mingxuan Yuan, Jun Wang, Jiawen Lu, Jie Wang, Jinhu Lü, Jia Zeng. icde 2021: 2511-2522 [doi]

An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean FormulaeWeilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song. iccad 2021: 1-9 [doi]

Underwater Image Restoration and Enhancement Based on a Fusion Algorithm With Color Balance, Contrast Optimization, and Histogram StretchingWeilin Luo, Shunqiang Duan, Jiwen Zheng. access, 9:31792-31804, 2021. [doi]

SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut SetsWeilin Luo, Ou Wei, Hai Wan. tr, 70(2):575-589, 2021. [doi]

How to Identify Boundary Conditions with Contrasty Metric?Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen. ICSE 2021: 1473-1484 [doi]

Time-invariant Discontinuous Feedback Stablization of Underactuated Surface Vessel under Wave DisturbanceWeilin Luo, Fan Zhang. spac 2021: 466-469 [doi]

A DQN-based Approach to Finding Precise Evidences for Fact VerificationHai Wan, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye. acl 2021: 1030-1039 [doi]

2020

Optimal Performance and Application for Firework Algorithm Using a Novel Chaotic ApproachWeilin Luo, Hongbin Jin, Hao Li, Xi Fang, Ronghua Zhou. access, 8:120798-120817, 2020. [doi]

Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict IdentificationHongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang. apsec 2020: 286-295 [doi]

2019

Stablization of an Underactuated Surface Vessel with DisturbancesWeilin Luo, Tieshan Li. icca 2019: 693-696 [doi]

2017

Robust NN Control of the Manipulator in the Underwater Vehicle-Manipulator SystemWeilin Luo, Hongchao Cong. isnn 2017: 75-82 [doi]

WAP: SAT-Based Computation of Minimal Cut SetsWeilin Luo, Ou Wei. issre 2017: 146-151 [doi]

Neural network based fin control for ship roll stabilization with guaranteed robustnessWeilin Luo, Bingbing Hu, Tieshan Li. ijon, 230:210-218, 2017. [doi]

2016

Control for Ship Course-Keeping Using Optimized Support Vector MachinesWeilin Luo, Hongchao Cong. algorithms, 9(3):52, 2016. [doi]

Neural network based robust adaptive tracking control for the automomous underwater vehicleYe Tian, Tieshan Li, Baobin Miao, Weilin Luo. icaci 2016: 372-377 [doi]

2013

2010

DSC approach to robust adaptive NN tracking control for a class of MIMO systemsTieshan Li, Wei Li, Weilin Luo. ijmic, 11(1/2):5-14, 2010. [doi]

2006

Blind space-time multiuser channel estimation in time-varying DS-CDMA systemsJitendra K. Tugnait, Weilin Luo. tvt, 55(1):207-218, 2006. [doi]

2004

Blind identification of time-varying channels using multistep linear predictorsJitendra K. Tugnait, Weilin Luo. tsp, 52(6):1739-1749, 2004. [doi]

2003

Blind multiuser channel estimation in time-varying direct sequence code division multiple access systemsWeilin Luo, Jitendra K. Tugnait. icassp 2003: 437-440 [doi]

On channel estimation using superimposed training and first-order statisticsJitendra K. Tugnait, Weilin Luo. icassp 2003: 624-627 [doi]

On channel estimation using superimposed training and first-order statisticsJitendra K. Tugnait, Weilin Luo. icl, 7(9):413-415, 2003. [doi]

2002

Further results on blind equalization and estimation of SIMO time-varying channelsWeilin Luo, Jitendra K. Tugnait. iscas 2002: 853-856 [doi]

Blind identification of time-varying channels using multistep linear predictorsWeilin Luo, Jitendra K. Tugnait. icassp 2002: 2277-2280 [doi]

Linear prediction error method for blind identification of periodically time-varying channelsJitendra K. Tugnait, Weilin Luo. tsp, 50(12):3070-3082, 2002. [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Weilin Luo'

Viewing Publication 1 - 41 from 41

2024

2023

2022

2021

2020

2019

2017

2016

2013

2010

2006

2004

2003

2002

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Weilin Luo'

Viewing Publication 1 - 41 from 41

2024

2023

2022

2021

2020

2019

2017

2016

2013

2010

2006

2004

2003

2002

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1