Twin Trials
Twin Trials Play

Löse Puzzle und spare Ressourcen, um zu gewinnen!

Vector Addition Systems with StatesPhaser.jsTypeScript

Markopon
Markopon Play

Gotta fight them all

Markov Decision ProcessesPhaser.jsTypeScript

Kampf um Neuenhagen
Kampf um Neuenhagen Play

Tritt dem ultimativen Widerstand gegen die Dunkelheit bei und werde der Held, den das Reich dringend braucht!

Vector Addition Systems with StatesPhaser.jsTypeScript

Marvels of the Distorted Path
Marvels of the Distorted Path Play

Entkomme dem MDP des Zauberers!

Markov Decision ProcessesPhaser.jsTypeScript

Everlasting Balance
Everlasting Balance Play

Entwickle eine Strategie, um das Gleichgewicht zu wahren

Energy GamesPhaser.jsTypeScript

Crossy River
Crossy River Play

Bringe das Huhn zur anderen Seite des Flusses

Zelluläre AutomatenPhaser.jsTypeScript

Cellular Cruiseship
Cellular Cruiseship Play

Durchquere die Meere und nimm dich in Acht vor Wellen

Zelluläre AutomatenPhaser.jsTypeScript

Petri-Mensa
Petri-Mensa

Petrinetze als Herausforderung beim Kochen

Petri-NetzePhaser.jsTypeScript

Gangs of Berlin
Gangs of Berlin Play

Sorge wahrscheinlich für die Sicherheit Berlins!

Markov Decision ProcessesPhaser.jsTypeScript

Dark Towers of Petri
Dark Towers of Petri Play

Verteidige das Dorf vor den Schatten!

Petri-NetzePhaser.jsTypeScript

Urban Maze
Urban Maze

Beschreibe und verstehe den Weg durchs Transitionssystem!

BisimulationPhaser.jsTypeScript

Maria Da Princess
Maria Da Princess Play

Escape the dungeon using MDP wisely!

Markov Decision ProcessesPhaser.jsTypeScript

GR-Island-Game
GR-Island-Game Play

Rewrite the graph to win!

Graph RewritingPhaser.jsTypeScript

Evakuierung
Evakuierung Play

Evacuate the aliens as quickly as possible.

Markov Decision ProcessesPhaser.jsTypeScript

State Finder
State Finder Play

Strategy game which requires a little coordination.

State SpacesPhaser.jsTypeScript

One Step Too Far
One Step Too Far Play

Demanding puzzle game requiring forethought.

BisimulationPhaser.jsTypeScript

Marry Me
Marry Me Play

Funny, but stressful race against the timer.

Critical SectionsGodotGDScript

The Tales of Logic
The Tales of Logic Play

Together on a tricky logic adventure.

Event StructuresPhaser.jsTypeScript

Quarantine
Quarantine Play

Plague Inc. meets Population Protocols.

Population ProtocolsPhaser.jsTypeScript

PIrats: Die Abenteuer der Pithargora
PIrats: Die Abenteuer der Pithargora Play

Together on a tricky logic adventure.

Pi-KalkülPhaser.jsTypeScript

Lamda-Hirte
Lamda-Hirte Play

Bringe Schafe mit Teleportern ins Ziel.

Lambda-KalkülPhaser.jsTypeScript

Chomsky Crush
Chomsky Crush Play

Puzzle game based on two-dimensional chomsky grammars.

Formal GrammarsPhaser.jsTypeScript

Tempus Fugit
Tempus Fugit Play

Logik-Kartenspiel als rundenbasiertes Fantasy-RPG.

Linear-time Temporal LogicPhaser.jsTypeScript

Petri Dungeon
Petri Dungeon

Der Weg ist das Ziel.

Petri-NetzePhaser.jsTypeScript

Space Pies
Space Pies Play

Rundenbasiert, HotSeat, Aufbauspiel, 1vs1.

Pi-KalkülPhaser.jsTypeScript

Petri Island
Petri Island Play

Wirtschaftssimulation.

Petri-NetzeUnityC#

Petri 2019
Petri 2019 Play

Baue deine Traumstadt und entwickle Produktionsketten!

Petri-NetzePhaser.jsTypeScript

Good Bot, Bad Bot
Good Bot, Bad Bot Play

Lead your Bot to victory!

Trace EquivalenceUnityC#

Undercover Agents and the Funky Portals
Undercover Agents and the Funky Portals Play

Convert the right agents!

Population ProtocolsScalaVanilla-WebGL