Automation of Metric Temporal Reasoning

Project Details

StatusFinished
Effective start/end date1/01/1131/12/14

Funding

  • ARC Australian Research Council : A$255,000.00