Logic

Research Frontiers in Metric Temporal Logic and Duration Constraints

Studies extensions of temporal logic with metric constraints on time intervals to specify quantitative timing requirements in formal specifications.

All Logic PhD categories