Logic

Research Frontiers in Alternating-Time Temporal Logic and Coalition Games

Develops temporal logics for reasoning about strategic abilities of coalitions in multi-agent systems and game-theoretic scenarios.

All Logic PhD categories