Jianwen Li

According to our database1, Jianwen Li authored at least 64 papers between 2010 and 2023.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


Dynamic Obstacle Avoidance for USVs Using Cross-Domain Deep Reinforcement Learning and Neural Network Model Predictive Controller.
Sensors, April, 2023

A Survey on the Deployability of Semantic Segmentation Networks for Fluvial Navigation.
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision Workshops, 2023

FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

ROSEBUD: A Deep Fluvial Segmentation Dataset for Monocular Vision-Based River Navigation and Obstacle Avoidance.
Sensors, 2022

Satisfiability checking for Mission-time LTL (MLTL).
Inf. Comput., 2022

Identifying Boundary Conditions with the Syntax and Semantic Information of Goals.
CoRR, 2022

LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding.
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

Finite Quantified Linear Temporal Logic and Its Satisfiability Checking.
Proceedings of the Artificial Intelligence Logic and Applications, 2022

Robust ASV Navigation Through Ground to Water Cross-Domain Deep Reinforcement Learning.
Frontiers Robotics AI, 2021

Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning.
CoRR, 2021

Monitoring of peanut leaves chlorophyll content based on drone-based multispectral image feature extraction.
Comput. Electron. Agric., 2021

Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

On-the-fly Synthesis for LTL over Finite Traces.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Hierarchical Ensemble Reduction and Learning for Resource-constrained Computing.
ACM Trans. Design Autom. Electr. Syst., 2020

A Robust Frequency Estimation Method for Aircraft Grids Under Distorted Conditions.
IEEE Trans. Ind. Electron., 2020

Estimation of Peanut Leaf Area Index from Unmanned Aerial Vehicle Multispectral Images.
Sensors, 2020

FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles.
CoRR, 2020

SAT-based explicit LTLf satisfiability checking.
Artif. Intell., 2020

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.
Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Exploring Graphical Models with Bayesian Learning and MCMC for Failure Diagnosis.
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

SAT-Based Automata Construction for LTL over Finite Traces.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

Online Spatial and Temporal Calibration for Monocular Direct Visual-Inertial Odometry.
Sensors, 2019

SAT-based explicit LTL reasoning and its application to satisfiability checking.
Formal Methods Syst. Des., 2019

Intersection and Rotation of Assumption Literals Boosts Bug-Finding.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Improving the user experience in museum: a joint course with Beijing museum of natural history.
Proceedings of the Seventh International Symposium of Chinese CHI, 2019

Satisfiability Checking for Mission-Time LTL.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Accelerating LTL satisfiability checking by SAT solvers.
J. Log. Comput., 2018

Multipolarization versus unification in community networks.
Future Gener. Comput. Syst., 2018

An explicit transition system construction approach to LTL satisfiability checking.
Formal Aspects Comput., 2018

Towards backbone computing: A Greedy-Whitening based approach.
AI Commun., 2018

A New Motor Imagery EEG Classification Method FB-TRCSP+RF Based on CSP and Random Forest.
IEEE Access, 2018

Monocular Visual-Inertial State Estimation With Online Temporal Calibration.
Proceedings of the 2018 Ubiquitous Positioning, 2018

MLTL Benchmark Generation via Formula Progression.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Hierarchical ensemble learning for resource-aware FPGA computing: work-in-progress.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Optimizing backbone filtering.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Symbolic LTLf Synthesis.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Safety model checking with complementary approximations.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

A Symbolic Approach to Safety ltl Synthesis.
Proceedings of the Hardware and Software: Verification and Testing, 2017

Approximate Reachability.
CoRR, 2016

Experimental and Numerical Simulation Research on Micro-Gears Fabrication by Laser Shock Punching Process.
Micromachines, 2015

SAT-Based Explicit LTL Reasoning.
Proceedings of the Hardware and Software: Verification and Testing, 2015

Investigating System Survivability from a Probabilistic Perspective.
IEICE Trans. Inf. Syst., 2014

Fast LTL Satisfiability Checking by SAT Solvers.
CoRR, 2014

Aalta: an LTL satisfiability checker over Infinite/Finite traces.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

LTLf Satisfiability Checking.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Runtime Verification by Convergent Formula Progression.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

A novel requirement analysis approach for periodic control systems.
Frontiers Comput. Sci., 2013

Polsat: A Portfolio LTL Satisfiability Solver.
CoRR, 2013

LTL Satisfiability Checking Revisited.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

On the Relationship between LTL Normal Forms and Büchi Automata.
Proceedings of the Theories of Programming and Formal Methods, 2013

MDM: A Mode Diagram Modeling Framework
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

On the Relationship between LTL Normal Forms and Buechi Automata
CoRR, 2012

MDM: A Mode Diagram Modeling Framework for Periodic Control Systems
CoRR, 2012

A Type System for SPARDL.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

An Approach to Requirement Analysis for Periodic Control Systems.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Study on the Four-channel Skin-hearing Aid Based on Morse Codes.
Comput. Inf. Sci., 2011

Study on multi-objective optimization for border irrigation technical parameters combination.
Proceedings of the Seventh International Conference on Natural Computation, 2011

An Event-B Interpretation for SPARDL Model.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Intelligence Optimization in Parameter Identification of the Border Irrigation Model.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2011

Probabilistic Model of System Survivability.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

SPARDL: A Requirement Modeling Language for Periodic Control System.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010