(Metric) Bisimulation Games and Real-Valued Modal Logics for ...

Reference

B. König and C. Mika-Michalski. (Metric) bisimulation games and real-valued modal logics for coalgebras, 2018. arXiv:1705.10165.

Suggested BibTeX entry:

@misc{KM18b,
    author = {B. K\"onig and C. Mika-Michalski},
    note = {arXiv:1705.10165},
    title = {({Metric}) Bisimulation Games and Real-Valued Modal Logics for Coalgebras},
    year = {2018}
}

See arxiv.org ...Conference version