Inproceedings,

A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents.

, , and .
WOA, volume 3579 of CEUR Workshop Proceedings, page 151-166. CEUR-WS.org, (2023)

Meta data

Tags

Users

  • @dblp

Comments and Reviews