47 citations · 134 across the 31 of their papers we have counts for
3 papers · 1 filter
Infinite-State Energy Games
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman +3
Energy games are a well-studied class of 2-player turn-based games on a finite graph where transitions are labeled with integer vectors which represent changes in a multidimensiona…
Zenoness for Timed Pushdown Automata
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
Timed pushdown automata are pushdown automata extended with a finite set of real-valued clocks. Additionaly, each symbol in the stack is equipped with a value representing its age.…
Proceedings 15th International Workshop on Verification of Infinite-State Systems
Lukas Holik, Lorenzo Clemente
This volume contains the proceedings of Infinity'13, the 15th International Workshop on Verification of Infinite-State Systems, which was held in Hanoi, Vietnam on the 14th of Octo…