Showing 1 - 2 results of 2 for search 'Gijs Kant', query time: 0.02s Refine Results
  1. 1
    Generating and Solving Symbolic Parity Games

    Generating and Solving Symbolic Parity Games by Gijs Kant, Jaco van de Pol

    Published 2014-07-01
    Get full text
    Article
  2. 2
    Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games

    Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games by Gijs Kant, Jaco van de Pol

    Published 2012-10-01
    Get full text
    Article

Search Tools: