The AFRL assists the Air Force in its operations by improving upon or creating new technologies useful to Air Force missions. One such technology is the system used by to process many autonomous vehicle missions, UxAS. UxAS needs to be able to efficiently compute the best routes for all tasks assigned to drones.
The current system has somewhat limited expressivity. It uses process algebra to describe tasks. They have three operators: AND, OR, and precedence. The AFRL would like three operators to be added to enhance the expressiveness of UxAS. The first, ~, will guarantee that p will start running before e. The second, dot, will guarantee that p ends before e begins to run. The AFRL would also like timing to be implemented in UxAS.