Research output

  1. Completeness for game logic

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  2. (Co)Algebraic Techniques for Markov Decision Processes

    Research output: Contribution to conferenceAbstractScientific

  3. A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics

    Research output: Contribution to conferenceAbstractScientific

View all (21) »

ID: 139429