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
Downloadable Citations
About Durham Research Online (DRO)
Administrator e-mail: dro.admin@durham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search