Sichen Ding

Orcid: 0009-0007-2102-1205

According to our database¹, Sichen Ding authored at least 2 papers in 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Current-State Opacity Verification in Petri Nets Using Fusion-Based Opacity Analysis and Graph Isomorphism Networks.

[DOI]

IEEE CAA J. Autom. Sinica, May, 2026

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification.

[DOI]

CoRR, April, 2026