Olivier Gasquet, Valentin Goranko, François Schwarzentruber. Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane. In Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014. pages 325-332, IFAAMAS/ACM, 2014. [doi]
Abstract is missing.