Davydov, Artem, Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences, Russian Federation

• ICNPAA WORLD CONGRESS 2020 - Mini symposium: Nonlinear Problems of Guidance, Navigation and Control in Aerospace
  On checking formal languages for nonconflict using the PCF-calculus
  Abstract