CV Accueil - Archive ouverte HAL

Publications

	Specifying in B the Influence/Reaction Model to Study Situated MAS: Application to vehicles platooning Olivier Simonin , Arnaud Lanoix , Alexis Scheuer , François Charpillet V2CS : First International workshop on Verification and Validation of multi-agent models for complex systems, Nov 2011, France. 15 p Communication dans un congrès hal-00663353v1

	Generic Expression in B of the Influence/Reaction Model: Specifying and Verifying Situated Multi-Agent Systems Olivier Simonin , Arnaud Lanoix , Samuel Colin , Alexis Scheuer , François Charpillet [Research Report] RR-6304, INRIA. 2007, pp.18 Rapport inria-00173876v2