Using Process Calculi for Plan Verification in Multiagent Planning.
Jan Jakubuv, Jan Tozicka, Antonn Komenda
VenueBICAART
Year2015
ProceedingsICAART (Revised Selected Papers)
DBLP recordconf/icaart/JakubuvTK15a ↗
Browse the full ICAART paper archive.