Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Perturbation equivalence in labelled Markov chains
Syyeda Zainab Fatmi, Stefan Kiefer, James C. A. Main +1
Behavioural equivalences, such as language equivalence and probabilistic bisimilarity, are fundamental techniques for reducing the size of probabilistic models. However, these equi…
cs.GT2026
Simple Nash Equilibria for Qualitative Multiplayer Games
Mona Alluwaym, James C. A. Main, Sven Schewe
We investigate memory requirements for Nash and subgame-perfect equilibria in turn-based deterministic games with -regular objectives. We prove that memoryless randomised (i.e.,…