1 citations · 1 across the 4 of their papers we have counts for
4 papers
Hierarchical Control for Continuous-time Systems via General Approximate Alternating Simulation Relations
Zhiyuan Huang, Shuo Li, Murat Arcak +2
This paper introduces a general approximate alternating simulation relation (\emph{-gAAS relation}) for continuous-time systems, which relaxes existing simulation rela…
EnPAC: Petri Net Model Checking for Linear Temporal Logic
Zhijun Ding, Cong He, Shuo Li
State generation and exploration (counterexample search) are two cores of explicit-state Petri net model checking for linear temporal logic (LTL). Traditional state generation upda…
On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems
Shuo Li, Liao Zheng, Ru Yang +1
Context: Linear temporal logic (LTL) model checking faces a significant challenge known as the state-explosion problem. The on-the-fly method is a solution that constructs and chec…
Program Dependence Net and On-demand Slicing for Property Verification of Concurrent System and Software
Zhijun Ding, Shuo Li, Cheng Chen +1
When checking concurrent software using a finite-state model, we face a formidable state explosion problem. One solution to this problem is dependence-based program slicing, whose…