Automation of Metric Temporal Reasoning

Project Details

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

Funding

  • Australian Research Council
  • Australian Research Council: AUD85,000.00
  • Australian Research Council: AUD85,000.00
  • Australian Research Council: AUD85,000.00