Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (Long Version)

Olivier Gasquet (1) , Valentin Goranko (2, 3) , François Schwarzentruber (4)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 Department of Applied Mathematics and Computer Science
3 UJ - University of Johannesburg [South Africa]
4 ENS Cachan Bretagne - École normale supérieure - Cachan, antenne de Bretagne

Domaines: Informatique [cs]

Olivier Gasquet, Valentin Goranko, François Schwarzentruber. Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (Long Version). [Rapport de recherche] IRIT. 2014. ⟨hal-03220765⟩