Multi-step state-based opacity for unambiguous weighted machines
Zhipeng Zhang, Chengyi Xia, Guoyuan Qi, Jun Fu
Topics & Concepts
OpacityState (computer science)Computer scienceAlgorithmPhysicsOpticsFormal Methods in VerificationPetri Nets in System ModelingReal-Time Systems Scheduling