Sidorova Elena Anatol'evna

Publications in Math-Net.Ru

1. Developing intelligent assistants to searchfor content on websites of a certain genre
   
   Vestn. YuUrGU. Ser. Vych. Matem. Inform., 11:4 (2022),  51–66
2. An approach to verification of a family of multiagent systems for conflict resolution
   
   Model. Anal. Inform. Sist., 23:6 (2016),  703–714
3. Using SPIN for verification of multi-agent data analysis
   
   Model. Anal. Inform. Sist., 21:6 (2014),  31–43