This work investigates whether population vector coding could be a principle mechanism for sensorimotor transformations. This paper presents a formal demonstration of how populatio...
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
An important part of the Enterprise Resource Planning (ERP) system implementation process is the decision, which modules are implemented and in which order. We posit that the deci...
— We characterize and improve an existing infrared relative localization/communication module used to find range and bearing between robots in small-scale multi-robot systems. M...