1. An automated aircraft intent generation method based on specifications represented in formal languages, comprising: a) in a preprocessing step, calculating a set of motion primitives associated with a first aircraft intent description and a position of an aircraft based on combinations of AIDL instructions, the motion primitives including steady-state conditions or maneuvers to bring an aircraft from one steady-state condition to another; b) representing the motion primitives in AIDL; c) collecting information associated with at least one of 1) an aircraft performance model, 2) an environmental model, 3) a flight dynamic model, or 4) the motion primitives represented in AIDL; d) initializing a finite state machine based on the collected information, the finite state machine being configured to concatenate motion primitives, wherein states of the finite state machine correspond to steady-state conditions and transitions between the states are defined by maneuvers; e) collecting specifications associated with at least one of: 1) flight plan instructions, 2) user preference indications, or 3) operational context indications; f) representing the specifications in a first formal language; g) combining the initialized finite state machine with the specifications represented in the first formal language to obtain a trajectory that satisfies a trajectory specification threshold; h) determining whether the obtained trajectory satisfies the trajectory specification threshold; i) in response to determining that the obtained trajectory does not satisfy the trajectory specification threshold, iteratively initializing the finite state machine based on the information until a subsequently determined set of motion primitives satisfies the trajectory specification threshold, the subsequently determined set of motion primitives determined using incrementally modified motion primitives; and j) in response to determining that the obtained trajectory satisfies the trajectory specification threshold, producing a representation of a second aircraft intent description associated with the obtained trajectory represented in AIDL and finalizing the method.