TY - RPRT TI - On the Formal Development of Behavioral Reactive Agents: A Systematic Braitenberg-Vehicle Approach AU - Matin Macktoobian AU - Ahmad T Khataminejad PY - 2016 UR - https://arxiv.org/abs/1612.03979 ID - 1612.03979 ER -