Yi Li

Tianjin University of Technology

School of Management, Tianjin University of Techn

Tianjin, 300384

China

Learn more about SSRN Profiles

SCHOLARLY PAPERS

1

DOWNLOADS

38

TOTAL CITATIONS

0

Feedback

Scholarly Papers (1)

Sort by:

Actions:

View:
Selected
Original List
All Versions Hide All Versions
All Abstracts Hide All Abstracts

(Rank)

1.

Stp-Based Verification and Synthesis of State Opacity for Logical Finite State Machines

Number of pages: 16 Posted: 03 Nov 2022

Weiwei Han, Yi Li, Zhipeng Zhang and Chengyi Xia

Tianjin University of Technology, Tianjin University of Technology, Tiangong University and Tiangong University

Downloads 38 (1,222,651)

Abstract:

Feedback

All content on this site: Copyright © 2026 Elsevier Inc., its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply.

We use cookies to help provide and enhance our service and tailor content.

To learn more, visit .