DMCA

Reasoning about Agent Programs using ATL-like Logics

by See Th , Link To , T Researc , Nitin Yadav , Sebastian Sardina