2025
KnowLogic: A Benchmark for Commonsense Reasoning via Knowledge-Driven Data Synthesis.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, March, 2025
2024
Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter.
J. Syst. Softw., 2024
Joint Underdetermined Blind Separation Using Cross Third-Order Cumulant and Tensor Decomposition.
Circuits Syst. Signal Process., 2024
Machine Learning Insides OptVerse AI Solver: Design Principles and Applications.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking.
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.
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.
Proceedings of the Twelfth International Conference on Learning Representations, 2024
End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey.
CoRR, 2023
PURLTL: Mining LTL Specification from Imperfect Traces in Testing.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning.
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.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Learning-Based Policy Optimization for Adversarial Missile-Target Assignment.
IEEE Trans. Syst. Man Cybern. Syst., 2022
Observer-Based Event-Triggered Formation Control of Multi-Agent Systems With Switching Directed Topologies.
IEEE Trans. Circuits Syst. I Regul. Pap., 2022
Optimizing Constrained Guidance Policy With Minimum Overload Regularization.
IEEE Trans. Circuits Syst. I Regul. Pap., 2022
Checking LTL Satisfiability via End-to-end Learning.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Teaching LTLf Satisfiability Checking to Neural Networks.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
A 20W Ka-Band Dual-Port Power Amplifier for Communication Satellites.
Proceedings of the 2022 IEEE International Conference on Integrated Circuits, 2022
Improving Local Search Algorithms via Probabilistic Configuration Checking.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae.
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.
IEEE Trans. Reliab., 2021
Underwater Image Restoration and Enhancement Based on a Fusion Algorithm With Color Balance, Contrast Optimization, and Histogram Stretching.
IEEE Access, 2021
Time-invariant Discontinuous Feedback Stablization of Underactuated Surface Vessel under Wave Disturbance.
Proceedings of the 2021 International Conference on Security, 2021
How to Identify Boundary Conditions with Contrasty Metric?
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems.
Proceedings of the 37th IEEE International Conference on Data Engineering, 2021
An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021
A DQN-based Approach to Finding Precise Evidences for Fact Verification.
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.
IEEE Access, 2020
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification.
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.
CoRR, 2019
Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem.
CoRR, 2019
Stablization of an Underactuated Surface Vessel with Disturbances.
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.
Neurocomputing, 2017
WAP: SAT-Based Computation of Minimal Cut Sets.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017
Robust NN Control of the Manipulator in the Underwater Vehicle-Manipulator System.
Proceedings of the Advances in Neural Networks - ISNN 2017 - 14th International Symposium, 2017
2016
Control for Ship Course-Keeping Using Optimized Support Vector Machines.
Algorithms, 2016
Neural network based robust adaptive tracking control for the automomous underwater vehicle.
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.
Microelectron. Reliab., 2013
A DSC and MLP based robust adaptive NN tracking control for underwater vehicle.
Neurocomputing, 2013
NN Based Adaptive Dynamic Surface Control for Fully Actuated AUV.
Proceedings of the Advances in Neural Networks - ISNN 2013, 2013
Robust Fin Control for Ship Roll Stabilization by Using Functional-Link Neural Networks.
Proceedings of the Advances in Neural Networks - ISNN 2013, 2013
Neural Network Based Robust Adaptive Dynamic Surface Control for AUVs.
Proceedings of the 3rd IFAC International Conference on Intelligent Control and Automation Science, 2013
2011
Robust Cascaded Control of Propeller Thrust for AUVs.
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.
Int. J. Model. Identif. Control., 2010
2006
Blind space-time multiuser channel estimation in time-varying DS-CDMA systems.
IEEE Trans. Veh. Technol., 2006
2004
Blind identification of time-varying channels using multistep linear predictors.
IEEE Trans. Signal Process., 2004
2003
On channel estimation using superimposed training and first-order statistics.
IEEE Commun. Lett., 2003
Blind multiuser channel estimation in time-varying direct sequence code division multiple access systems.
Proceedings of the 2003 IEEE International Conference on Acoustics, 2003
2002
Linear prediction error method for blind identification of periodically time-varying channels.
IEEE Trans. Signal Process., 2002
Further results on blind equalization and estimation of SIMO time-varying channels.
Proceedings of the 2002 International Symposium on Circuits and Systems, 2002