Wieger Wesselink | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Tim A. C. Willemse
10 publications
Maurice Laveaux
5 publications
Lisette Sanchez
1 publication

research

∙ 01/24/2022

On-The-Fly Solving for Symbolic Parity Games

Parity games can be used to represent many different kinds of decision p...

0 Maurice Laveaux, et al. ∙

research

∙ 09/10/2018

A Comparison of BDD-Based Parity Game Solvers

Parity games are two player games with omega-winning conditions, played ...

0 Lisette Sanchez, et al. ∙