18 citations · 67 across the 31 of their papers we have counts for
3 papers · 2 filters
A Lattice-Theoretical View of Strategy Iteration
Paolo Baldan, Richard Eggert, Barbara König +1
Strategy iteration is a technique frequently used for two-player games in order to determine the winner or compute payoffs, but to the best of our knowledge no general framework fo…
Hennessy-Milner Theorems via Galois Connections
Harsh Beohar, Sebastian Gurke, Barbara König +1
We introduce a general and compositional, yet simple, framework that allows us to derive soundness and expressiveness results for modal logics characterizing behavioural equivalenc…
Graded Monads and Behavioural Equivalence Games
Chase Ford, Harsh Beohar, Barbara König +2
The framework of graded semantics uses graded monads to capture behavioural equivalences of varying granularity, for example as found on the linear-time/branching-time spectrum, ov…