NTHRYS › PhD Assistance › Game Theory

Game Theory

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Temporal Logic Games and Verification

This area studies games with winning conditions specified by temporal logic formulas and applies game theory to formal verification of systems.