A. According to its engineers, a new kind of self-driving car could, by using multiple sensors and formal logic-based algorithms, provide taxi services in major American cities within the next five years.
--> Could be optimized further but looks okay
B. By using multiple sensors and formal logic-based algorithms, engineers of a new kind of self-driving car think it could provide taxi services in major American cities within the next five years.
--> Suggests that sensors are being used by
...
--> Could be optimized further but looks okay
B. By using multiple sensors and formal logic-based algorithms, engineers of a new kind of self-driving car think it could provide taxi services in major American cities within the next five years.
--> Suggests that sensors are being used by
...





