Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "Metric Bisimulation Games and Real-Valued Modal Logics for Coalgebras"

by Barbara König

Fri, 06 July 2018 at 11:50 am in Royal Holloway, United Kingdom

Joint work with: Christina Mika-Michalski

Abstract: Behavioural equivalences can be characterized via bisimulations, modal logics and spoiler-defender games. We review these three perspectives in a coalgebraic setting, which allows us to generalize from the particular branching type of a transition system. We are in particular interested in quantitative notions (bisimulation metrics). We introduce spoiler-defender bisimulation games for the metric case and furthermore define a real-valued modal coalgebraic logic, from which we can derive the strategy of the spoiler. For this logic we show a quantitative version of the Hennessy-Milner theorem.