Towards Diagnosis Modulo Theories

Juhan-Peep Ernits, Richard Dearden

Computer Science

Research output: Contribution to conference (unpublished) › Paper › peer-review

1 results

Finished
Automated Diagnosis for Fault Detection, Identification and Recovery in Autosub6000
Dearden, R. (Principal Investigator) & Wyatt, J. (Co-Investigator)
Natural Environment Research Council
1/12/08 → 15/02/12
Project: Research Councils