Control and Diagnosis of Discrete-event Systems with Temporal Logic Specifications

  • Kumar, Ratnesh (PI)

Grants and Contracts Details

StatusFinished
Effective start/end date8/1/018/15/02