Logic

Research Frontiers in Probabilistic Temporal Logic and Stochastic Systems

Studies temporal logics with probabilistic semantics for reasoning about long-run properties of stochastic processes and random systems.

All Logic PhD categories