Maria Fox
Using Model Checking for Pre-Planning Analysis
Fox, Maria; Long, Derek; Bradley, Steven; McKinna, James
Citation
Fox, M., Long, D., Bradley, S., & McKinna, J. (2001, December). Using Model Checking for Pre-Planning Analysis. Presented at AAAI Symposium on Model-based Validation of Intelligence
| Presentation Conference Type | Conference Paper (published) |
|---|---|
| Conference Name | AAAI Symposium on Model-based Validation of Intelligence |
| Acceptance Date | Dec 1, 2000 |
| Publication Date | 2001 |
| Deposit Date | Jul 22, 2016 |
| Public URL | https://durham-repository.worktribe.com/output/1150160 |
You might also like
Economical crowdsourcing for camera trap image classification
(2018)
Journal Article
ExBERT: An External Knowledge Enhanced BERT for Natural Language Inference
(2021)
Book Chapter