Davydov, Artem
80  Ergebnisse:
Personensuche X
?
 
?
5

On Checking Observability of Formal Languages in DES Contro..:

, In: 2022 8th International Conference on Control, Decision and Information Technologies (CoDIT),
 
?
8

Application of the PCF calculus for solving the problem of ..:

Davydov, Artem ; Larionov, Aleksandr ; Nagul, Nadezhda
Journal of Physics: Conference Series.  1864 (2021)  1 - p. 012048 , 2021
 
?
9

On Checking Controllability of Specification Languages for ..:

, In: 2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO),
 
?
11

Threat level in the workplace:

Sharmanov, V ; Narezhnaya, Tamara ; Davydov, Artem.
E3S Web of Conferences.  217 (2020)  - p. 08010 , 2020
 
?
12

Action Planning for Robots using the First Order Logic Calc..:

, In: 2020 7th International Conference on Control, Decision and Information Technologies (CoDIT),
Davydov, Artem ; Larionov, Aleksandr - p. 727-732 , 2020
 
?
13

Event-Based Cooperative Control Framework for Robot Teams:

, In: Communications in Computer and Information Science; Robotics and Rehabilitation Intelligence,
Bychkov, Igor ; Ul'yanov, Sergey ; Nagul, Nadezhda... - p. 121-137 , 2020
 
?
14

IoT Gas and Temperature Monitoring Interface of a Low Tempe..:

, In: 2019 IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON),
 
1-15