Open AccessSpecifying in B the Influence/Reaction Model to Study Situated MAS: Application to vehicles platooning
Author(s) -
Olivier Simonin,
Arnaud Lanoix,
Alexis Scheuer,
François Charpillet
Publication year - 2011
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - platoon , correctness , situated , computer science , formal methods , formal specification , formal verification , representation (politics) , programming language , software engineering , control (management) , artificial intelligence , political science , law , politics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom