最終更新日:2022/12/24
While synthesizing a controller for timed automata one should be careful not letting any of the players win by Zenonism
, that is, by preventing the time from progressing as does the Tortoise in its race against Achilles.
編集履歴(0)