Logic

Research Frontiers in Signal Temporal Logic and Continuous Monitoring

Develops temporal logics for specifying and monitoring continuous-time real-valued signals in cyber-physical systems verification.

All Logic PhD categories