Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications.
(xsd:string)
Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications.
(xsd:string)