research
∙
07/01/2023
A game-theoretic approach to indistinguishability of winning objectives as user privacy
Game theory on graphs is a basic tool in computer science. In this paper...
research
∙
03/22/2022
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking
Pushdown systems (PDS) are known as an abstract model of recursive progr...
research
∙
10/23/2019