Gnatenko Anton Romanovich

Publications in Math-Net.Ru

1. On the satisfiability and model checking for one parameterized extension of linear-time temporal logic
   
   Model. Anal. Inform. Sist., 28:4 (2021),  356–371
2. On the model checking problem for some extension of CTL*
   
   Model. Anal. Inform. Sist., 27:4 (2020),  428–441
3. On the expressive power of some extensions of linear temporal logic
   
   Model. Anal. Inform. Sist., 25:5 (2018),  506–524
4. On the model checking of finite state transducers over semigroups
   
   Proceedings of ISP RAS, 30:3 (2018),  303–324