Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane

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]

Authors

Olivier Gasquet

This author has not been identified. Look up 'Olivier Gasquet' in Google

Valentin Goranko

This author has not been identified. Look up 'Valentin Goranko' in Google

François Schwarzentruber

This author has not been identified. Look up 'François Schwarzentruber' in Google