Specifications for decidable hybrid games
scientific article; zbMATH DE number 5987003
scientific article