Inproceedings,

Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions.

.
FAABS, volume 2699 of Lecture Notes in Computer Science, page 146-161. Springer, (2002)

Meta data

Tags

Users

  • @dblp
  • @leonardo

Comments and Reviews