Search Results - Kuo, Jim Huan-Pu

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    The Rabin index of parity games: Its complexity and approximation

    The Rabin index of parity games: Its complexity and approximation by Huth, Michael, Kuo, Jim Huan-Pu, Piterman, Nir

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Authorized workflow schemas: deciding realizability through LTL(F) model checking

    Authorized workflow schemas: deciding realizability through LTL(F) model checking by Crampton, Jason, Huth, Michael, Kuo, Jim Huan-pu

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    The Rabin index of parity games

    The Rabin index of parity games by Huth, Michael, Kuo, Jim Huan-Pu, Piterman, Nir

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    The Rabin index of parity games

    The Rabin index of parity games by Huth, Michael, Jim Huan-Pu Kuo, Piterman, Nir

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking

    Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking by Crampton, Jason, Huth, Michael, Kuo, Jim Huan-Pu

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Authorized workflow schemas: deciding realizability through model checking

    Authorized workflow schemas: deciding realizability through model checking by Crampton, Jason, Huth, Michael, Kuo, Jim Huan-Pu

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Fatal Attractors in Parity Games: Building Blocks for Partial Solvers

    Fatal Attractors in Parity Games: Building Blocks for Partial Solvers by Huth, Michael, Jim Huan-Pu Kuo, Piterman, Nir

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: