Jianwen Li

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Satisfiability checking for mission-time LTL Computer Aided Verification	2024-02-16	Paper
Searching for i-good lemmas to accelerate safety model checking	2024-01-12	Paper
Satisfiability checking for mission-time \textsf{LTL} (MLTL) Information and Computation	2022-12-08	Paper
SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking Artificial Intelligence	2021-08-16	Paper
Towards backbone computing: a greedy-whitening based approach AI Communications	2021-01-20	Paper
SAT-based explicit LTL reasoning and its application to satisfiability checking Formal Methods in System Design	2019-11-18	Paper
Accelerating LTL satisfiability checking by SAT solvers Journal Of Logic And Computation	2019-01-31	Paper
An explicit transition system construction approach to LTL satisfiability checking Formal Aspects of Computing	2018-03-29	Paper
\(\mathrm{LTL}_{f}\) satisfiability checking	2017-07-18	Paper
\(\mathrm{LTL}_{f}\) satisfiability checking (available as arXiv preprint)	2017-07-18	Paper
On the relationship between LTL normal forms and Büchi automata Theories of Programming and Formal Methods	2013-08-16	Paper

Research outcomes over time

This page was built for person: Jianwen Li