Rapport
(Rapport De Recherche)
Année : 2014
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03220765
Soumis le : vendredi 7 mai 2021-14:10:43
Dernière modification le : lundi 20 novembre 2023-11:44:22
Dates et versions
Identifiants
- HAL Id : hal-03220765 , version 1
Citer
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⟩
Collections
18
Consultations
0
Téléchargements