Litcius/Paper detail

Verification and enforcement of strong infinite- and <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="d1e217" altimg="si16.svg"> <mml:mi>k</mml:mi> </mml:math> -step opacity using state recognizers

Ziyue Ma, Xiang Yin, Zhiwu Li

2021Automatica44 citationsDOI

Topics & Concepts

OpacityAlgorithmState (computer science)EnforcementAutomatonComputer scienceProperty (philosophy)Discrete mathematicsMathematicsArtificial intelligencePhysicsEpistemologyPolitical scienceOpticsLawPhilosophyPetri Nets in System ModelingFormal Methods in VerificationDistributed systems and fault tolerance
Verification and enforcement of strong infinite- and <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="d1e217" altimg="si16.svg"> <mml:mi>k</mml:mi> </mml:math> -step opacity using state recognizers | Litcius