Jianwen Li

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 61

Top Topics

Predictive Control

Top Venues

Publications

Zihan Wang, Jianwen Li, Nina Mahmoudian
Vision-driven Autonomous Flight of UAV Along River Using Deep Reinforcement Learning with Dynamic Expert Guidance. CoRR (2024)
Jianwen Li, Hyunsang Park, Wenjian Hao, Lei Xin, Jalil Chavez-Galaviz, Ajinkya Chaudhary, Meredith Bloss, Kyle Pattison, Christopher Vo, Devesh Upadhyay, Shreyas Sundaram, Shaoshuai Mou, Nina Mahmoudian
C3D: Cascade Control with Change Point Detection and Deep Koopman Learning for Autonomous Surface Vehicles. CoRR (2024)
Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li
Avoiding the Shoals - A New Approach to Liveness Checking. CAV (1) (2024)
Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi
Model-Guided Synthesis for LTL over Finite Traces. VMCAI (1) (2024)
Jalil Chavez-Galaviz, Jianwen Li, Ajinkya Chaudhary, Nina Mahmoudian
ASV station keeping under wind disturbances using neural network simulation error minimization model predictive control. J. Field Robotics 41 (6) (2024)
Jingling Sun, Ting Su, Jun Sun, Jianwen Li, Mengfei Wang, Geguang Pu
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps. SIGSOFT FSE Companion (2024)
Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu
Searching for i-Good Lemmas to Accelerate Safety Model Checking. CAV (2) (2023)
Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. ESEC/SIGSOFT FSE (2023)
Jalil Chavez-Galaviz, Jianwen Li, Matthew Bergman, Miras Mengdibayev, Nina Mahmoudian
An Efficient Detection and Control System for Underwater Docking using Machine Learning and Realistic Simulation: A Comprehensive Approach. CoRR (2023)
Zhongqi Yu, Xiaoyu Zhang, Jianwen Li
UC-based Approximate Incremental Reachability. Int. J. Softw. Informatics 13 (3) (2023)
Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu
FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format. TACAS (2) (2023)
Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li
LTLf Satisfiability Checking via Formula Progression (S). SEKE (2023)
Jianwen Li, Jalil Chavez-Galaviz, Kamyar Azizzadenesheli, Nina Mahmoudian
Dynamic Obstacle Avoidance for USVs Using Cross-Domain Deep Reinforcement Learning and Neural Network Model Predictive Controller. Sensors 23 (7) (2023)
Jalil Chavez-Galaviz, Jianwen Li, Ajinkya Chaudhary, Nina Mahmoudian
ASV Station Keeping under Wind Disturbances using Neural Network Simulation Error Minimization Model Predictive Control. CoRR (2023)
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain. CoRR (2023)
Xiaoyu Zhang, Shengping Xiao, Yechuan Xia, Jianwen Li, Mingsong Chen, Geguang Pu
Accelerate Safety Model Checking Based on Complementary Approximate Reachability. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (9) (2023)
Reeve Lambert, Jianwen Li, Jalil Chavez-Galaviz, Nina Mahmoudian
A Survey on the Deployability of Semantic Segmentation Networks for Fluvial Navigation. WACV (Workshops) (2023)
Yechuan Xia, Jianwen Li, Shengping Xiao, Weikai Miao, Geguang Pu
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals. CoRR (2022)
Xiaoyu Zhang, Shengping Xiao, Jianwen Li, Geguang Pu, Ofer Strichman
Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding. ICCAD (2022)
Yu Chen, Xiaoyu Zhang, Jianwen Li
Finite Quantified Linear Temporal Logic and Its Satisfiability Checking. AILA (2022)
Reeve Lambert, Jalil Chavez-Galaviz, Jianwen Li, Nina Mahmoudian
ROSEBUD: A Deep Fluvial Segmentation Dataset for Monocular Vision-Based River Navigation and Obstacle Avoidance. Sensors 22 (13) (2022)
Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. IJCAI (2022)
Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier
Satisfiability checking for Mission-time LTL (MLTL). Inf. Comput. 289 (Part) (2022)
Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi
On-the-fly Synthesis for LTL over Finite Traces. AAAI (2021)
Reeve Lambert, Jianwen Li, Li-Fan Wu, Nina Mahmoudian
Robust ASV Navigation Through Ground to Water Cross-Domain Deep Reinforcement Learning. Frontiers Robotics AI 8 (2021)
Haixia Qi, Zeyu Wu, Lei Zhang, Jianwen Li, Jingkang Zhou, Zou Jun, Bingyu Zhu
Monitoring of peanut leaves chlorophyll content based on drone-based multispectral image feature extraction. Comput. Electron. Agric. 187 (2021)
Peng Jin, Min Zhang, Jianwen Li, Li Han, Xuejun Wen
Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning. CoRR (2021)
Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu
Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. ICCAD (2021)
Yihao Huang, Felix Juefei-Xu, Run Wang, Xiaofei Xie, Lei Ma, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles. CoRR (2020)
Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. CoRR (2020)
Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. ACM Multimedia (2020)
Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier
SAT-based explicit LTLf satisfiability checking. Artif. Intell. 289 (2020)
Zhiyong Dai, Mingdi Fan, Hongxiang Nie, Juxiang Zhang, Jianwen Li
A Robust Frequency Estimation Method for Aircraft Grids Under Distorted Conditions. IEEE Trans. Ind. Electron. 67 (5) (2020)
Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu
SAT-Based Automata Construction for LTL over Finite Traces. APSEC (2020)
Haixia Qi, Bingyu Zhu, Zeyu Wu, Yu Liang, Jianwen Li, Leidi Wang, Tingting Chen, Yubin Lan, Lei Zhang
Estimation of Peanut Leaf Area Index from Unmanned Aerial Vehicle Multispectral Images. Sensors 20 (23) (2020)
Hongfei Wang, Wenjie Cai, Jianwen Li, Kun He
Exploring Graphical Models with Bayesian Learning and MCMC for Failure Diagnosis. ASP-DAC (2020)
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. ESEC/SIGSOFT FSE (2020)
Hongfei Wang, Jianwen Li, Kun He
Hierarchical Ensemble Reduction and Learning for Resource-constrained Computing. ACM Trans. Design Autom. Electr. Syst. 25 (1) (2020)
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
SAT-Based Explicit LTLf Satisfiability Checking. AAAI (2019)
Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, Kristin Y. Rozier
Intersection and Rotation of Assumption Literals Boosts Bug-Finding. VSTTE (2019)
Zheyu Feng, Jianwen Li, Lundong Zhang, Chen Chen
Online Spatial and Temporal Calibration for Monocular Direct Visual-Inertial Odometry. Sensors 19 (10) (2019)
Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier
Satisfiability Checking for Mission-Time LTL. CAV (2) (2019)
Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi
SAT-based explicit LTL reasoning and its application to satisfiability checking. Formal Methods Syst. Des. 54 (2) (2019)
Xin Xin, Miao Jin, Chunrong Liu, Jianwen Li, Wei Liu, Yi Zhang
Improving the user experience in museum: a joint course with Beijing museum of natural history. CCHI (2019)
Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He
An explicit transition system construction approach to LTL satisfiability checking. Formal Aspects Comput. 30 (2) (2018)
Jianwen Li, Kristin Y. Rozier
MLTL Benchmark Generation via Formula Progression. RV (2018)
Jingcheng Fu, Jianwen Li, Yawei Niu, Guanghui Wang, Jianliang Wu
Multipolarization versus unification in community networks. Future Gener. Comput. Syst. 83 (2018)
Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. CAV (2) (2018)
Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li
Towards backbone computing: A Greedy-Whitening based approach. AI Commun. 31 (3) (2018)
Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He
Accelerating LTL satisfiability checking by SAT solvers. J. Log. Comput. 28 (6) (2018)
Ranran Zhang, Xiaoyan Xiao, Zhi Liu, Wei Jiang, Jianwen Li, Yankun Cao, Jianmin Ren, Dongmei Jiang, Lizhen Cui
A New Motor Imagery EEG Classification Method FB-TRCSP+RF Based on CSP and Random Forest. IEEE Access 6 (2018)
Hongfei Wang, Jianwen Li, Kun He, Wenjie Cai
Hierarchical ensemble learning for resource-aware FPGA computing: work-in-progress. CODES+ISSS (2018)
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
SAT-based Explicit LTLf Satisfiability Checking. CoRR (2018)
Zheyu Feng, Jianwen Li
Monocular Visual-Inertial State Estimation With Online Temporal Calibration. UPINLBS (2018)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
A Symbolic Approach to Safety LTL Synthesis. CoRR (2017)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
Symbolic LTLf Synthesis. IJCAI (2017)
Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song
Optimizing backbone filtering. TASE (2017)
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
Safety model checking with complementary approximations. ICCAD (2017)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
A Symbolic Approach to Safety ltl Synthesis. Haifa Verification Conference (2017)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
Symbolic LTLf Synthesis. CoRR (2017)
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
Approximate Reachability. CoRR (2016)
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi
SAT-Based Explicit LTL Reasoning. Haifa Verification Conference (2015)
Huixia Liu, Jianwen Li, Zongbao Shen, Qing Qian, Hongfeng Zhang, Xiao Wang
Experimental and Numerical Simulation Research on Micro-Gears Fabrication by Laser Shock Punching Process. Micromachines 6 (8) (2015)
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi
SAT-based Explicit LTL Reasoning. CoRR (2015)
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
LTLf Satisfiability Checking. ECAI (2014)
Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He
Fast LTL Satisfiability Checking by SAT Solvers. CoRR (2014)
Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu
Investigating System Survivability from a Probabilistic Perspective. IEICE Trans. Inf. Syst. (9) (2014)
Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He
Aalta: an LTL satisfiability checker over Infinite/Finite traces. SIGSOFT FSE (2014)
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
LTLf satisfiability checking. CoRR (2014)
Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen
Runtime Verification by Convergent Formula Progression. APSEC (1) (2014)
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
LTL Satisfiability Checking Revisited. TIME (2013)
Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen
On the Relationship between LTL Normal Forms and Büchi Automata. Theories of Programming and Formal Methods (2013)
Jianwen Li, Geguang Pu, Lijun Zhang, Yinbo Yao, Moshe Y. Vardi, Jifeng He
Polsat: A Portfolio LTL Satisfiability Solver. CoRR (2013)
Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He
A novel requirement analysis approach for periodic control systems. Frontiers Comput. Sci. 7 (2) (2013)
Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu
MDM: A Mode Diagram Modeling Framework FTSCS (2012)
Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems CoRR (2012)
Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu
An Approach to Requirement Analysis for Periodic Control Systems. SEW (2012)
Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu
A Type System for SPARDL. TASE (2012)
Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen
On the Relationship between LTL Normal Forms and Buechi Automata CoRR (2012)
Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu
An Event-B Interpretation for SPARDL Model. HASE (2011)
Jianwen Li, Yuanyuan Hou, Jianghong Li
Study on the Four-channel Skin-hearing Aid Based on Morse Codes. Comput. Inf. Sci. 4 (5) (2011)
Jianwen Li, Xihuan Sun, Juanjuan Ma, Xianghong Guo, Jingling Li
Intelligence Optimization in Parameter Identification of the Border Irrigation Model. AICI (2) (2011)
Jianwen Li, Xihuan Sun, Juanjuan Ma
Study on multi-objective optimization for border irrigation technical parameters combination. ICNC (2011)
Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu
Probabilistic Model of System Survivability. TASE (2010)
Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu
SPARDL: A Requirement Modeling Language for Periodic Control System. ISoLA (1) (2010)