Inverse optimal formation control of mobile agents with collision avoidance driven by Lévy processes. (September 2020)