ASCEND
BY NTHRYS

NTHRYS › PhD Assistance › Logic

Logic

Field
▾
Category
▾

Logic

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Temporal Logic and Linear Time Structures

Studies logical systems for formalizing temporal reasoning with emphasis on linear temporal properties and their verification.

Metric Temporal Logic at the Decidability Boundary
Branching Time Semantics in Infinite-State Systems
Distributed Temporal Specifications Without Global Clocks
Hyperproperties and Information Flow in Linear Time
Learning Temporal Specifications from Incomplete Traces
Probabilistic Linear Temporal Logic Beyond Markov Models
Compositional Verification of Temporally Constrained Protocols
Temporal Logic for Asynchronous Distributed Algorithms
Complexity Stratification in Quantified Linear Temporal Logic
Real-Time Synthesis from Temporal Specifications Under Uncertainty

All Logic PhD categories