Verifying plans for multiple agents.

Matthew J. Katz, Jeffrey S. Rosenschein

Research output: Contribution to journalArticlepeer-review

8 Scopus citations
Original languageEnglish
Pages (from-to)39-56
JournalJ. Exp. Theor. Artif. Intell.
Volume5
Issue number1
DOIs
StatePublished - 1993

Cite this