Skip to content

zhennan fei

    • 2PublicationsNumber of items in zhennan's My Publications folder on Mendeley.
    • 2Followers

    Followers (2)

    Following (2)

    Publications (2)

    • Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory

      • Fei Z
      • Miremadi S
      • Åkesson K
      • et al.
      N/AReaders
      N/ACitations
      Get full text
    • An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems

      • Nazeem A
      • Reveliotis S
      N/AReaders
      N/ACitations
      Get full text