On timed alternating simulation for concurrent timed games

Laura Bozzelli, Axel Legay, Sophie Pinchinat. On timed alternating simulation for concurrent timed games. Acta Informatica, 49(4):249-279, 2012. [doi]

Abstract

Abstract is missing.