Alex Dixon | DeepAI

DeepAI

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

Featured Co-authors

Andrzej S. Murawski
8 publications
Ranko Lazic
8 publications
Igor Walukiewicz
6 publications

research

∙ 07/23/2023

Saturating automata for game semantics

Saturation is a fundamental game-semantic property satisfied by strategi...

0 Alex Dixon, et al. ∙

research

∙ 01/21/2021

Leafy Automata for Higher-Order Concurrency

Finitary Idealized Concurrent Algol (FICA) is a prototypical programming...

0 Alex Dixon, et al. ∙