Research output

  1. (Co)Algebraic Techniques for Markov Decision Processes

    Research output: Contribution to conferenceAbstractScientific

  2. Arrow’s Theorem Through a Fixpoint Argument

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. Long-term values in markov decision processes, (Co)algebraically

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

View all (3) »

ID: 111382