Mathematical Logic Foundations

Research Frontiers in Alternating-Time Temporal Logic Extensions

Study of alternating-time temporal logic variants for specifying and verifying properties of game-like multi-agent systems.

All Mathematical Logic & Foundations PhD categories