NTHRYS › PhD Assistance › Theoretical Computer Science

Theoretical Computer Science

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Temporal Logic and Model Checking Algorithms

Studies algorithmic verification of reactive systems using temporal logics like LTL and CTL with focus on scalability and symbolic methods.