DMCA

2 Reasoning about Agent Programs using ATL-like Logics

Cached

Download Links

by Nitin Yadav , Sebastian Sardina
Citations:1 - 1 self