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). Using Model Checking for Pre-Planning Analysis.
Conference Name | AAAI Symposium on Model-based Validation of Intelligence |
---|---|
Acceptance Date | Dec 1, 2000 |
Publication Date | 2001 |
Deposit Date | Jul 22, 2016 |
You might also like
Narrowing and Stretching: Addressing the Challenge of Multi-track Programming
(2022)
Conference Proceeding
Evidence for Teaching Practices that Broaden Participation for Women in Computing
(2021)
Conference Proceeding
ExBERT: An External Knowledge Enhanced BERT for Natural Language Inference
(2021)
Book Chapter
Bilinear Fusion of Commonsense Knowledge with Attention-Based NLI Models
(2020)
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