Litvinov Yurii Viktorovich

Publications in Math-Net.Ru

1. Survey on formal methods in robotics
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2016, no. 1(236),  84–107