CaltechTHESIS
  A Caltech Library Service

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 2.

Pilotto, Concetta (2011) Systematic Design and Formal Verification of Multi-Agent Systems. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/SCQF-VP66. https://resolver.caltech.edu/CaltechTHESIS:05232011-013046516

Pilotto, Concetta (2007) Local-to-Global in Multi-Agent Systems. Master's thesis, California Institute of Technology. doi:10.7907/JY2K-6194. https://resolver.caltech.edu/CaltechETD:etd-05232007-084106

This list was generated on Thu Dec 9 12:17:16 2021 UTC.