Anuj Goel
From MaRDI portal
Anuj Goel Q1870207
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| BDD based procedures for a theory of equality with uninterpreted functions Formal Methods in System Design | 2003-05-11 | Paper |
| Dynamic adaptive autonomy in multi-agent systems Journal of Experimental & Theoretical Artificial Intelligence | 2002-11-27 | Paper |
Research outcomes over time
This page was built for person: Anuj Goel
