Categories

Reactive Synthesis
Optimal Transport
Planning
World Models
Bisimulation