K. S. Thejaswini | DeepAI

DeepAI

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

Featured Co-authors

Pierre Ohlmann
15 publications
Laure Daviaud
5 publications
Marcin Jurdzinski
5 publications
Rémi Morvan
4 publications

research

∙ 10/16/2020

A symmetric attractor-decomposition lifting algorithm for parity games

Progress-measure lifting algorithms for solving parity games have the be...

0 Marcin Jurdzinski, et al. ∙

research

∙ 03/19/2020

The Strahler number of a parity game

The Strahler number of a rooted tree is the largest height of a perfect ...

0 Laure Daviaud, et al. ∙