Autonomous Cars, Aerospace, Aeronautics, Systems, Complex Systems Science.
behavior at each step while just adding a new input and the associated new behavior «on top» of the previous ones. The main interest of our C++ software is that, though this is not yet proven, its complexity seems polynomial but not exponential. This is achieved by the use of Binary Decision