A robotic art installation designed to create paintings based on brain data.
Real-life and simulated self-driving robots, making combat decisions.
Type-theoretic model of natural language statements.