Bachelor
Games that have been created in the context of Bachelor theses supervised by Benjamin Bisping.
The Spectroscopy Invaders Play
Tell systems apart as cheaply as possible
Linear-Time–Branching-Time SpectrumPhaser.jsTypeScript
Reactive Bisimilarity Game Play
Magical presentation of reactive bisimilarity
Reactive BisimilarityPhaser.jsTypeScript
Process Equivalence Game Play
Weak behavioral equivalences as computer games.
Weak BisimilarityUnity
Counterfactual Demo Play
Counterfactual reasoning as space travel
Counterfactual ConditionalsPhaser.jsTypeScript