Jianwen Li

From MaRDI portal
Person:1707338

Available identifiers

zbMath Open li.jianwenMaRDI QIDQ1707338

List of research outcomes





PublicationDate of PublicationType
Satisfiability checking for mission-time LTL2024-02-16Paper
Searching for i-good lemmas to accelerate safety model checking2024-01-12Paper
Satisfiability checking for mission-time \textsf{LTL} (MLTL)2022-12-08Paper
SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking2021-08-16Paper
Towards backbone computing: A Greedy-Whitening based approach2021-01-20Paper
SAT-based explicit LTL reasoning and its application to satisfiability checking2019-11-18Paper
Accelerating LTL satisfiability checking by SAT solvers2019-01-31Paper
An explicit transition system construction approach to LTL satisfiability checking2018-03-29Paper
https://portal.mardi4nfdi.de/entity/Q52830162017-07-18Paper
On the Relationship between LTL Normal Forms and Büchi Automata2013-08-16Paper

Research outcomes over time

This page was built for person: Jianwen Li

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1707338&oldid=6333360"
Powered by MediaWiki