Egorov Kirill Viktorovich
|
Birth date:
27.05.1987
E-mail:
Keywords: genetic programming,
machine learning,
model checking,
automata-based programming.
Subject: Application of genetic programming for finite-state machine induction on the base of specification.
Main publications:
-
Egorov K.V., Shalyto A.A., “Metodika verifikatsii avtomatnykh programm”, Informatsionno-upravlyayuschie sistemy, 2008, № 5, 15–21
-
Egorov K.V., Shalyto A.A., “Razrabotka verifikatora avtomatnykh programm”, Nauchno-tekhnicheskii vestnik SPbGU ITMO, 2008, № 53, 177–188
-
Egorov K.V., Tsarev F.N., Shalyto A.A., “Primenenie geneticheskogo programmirovaniya dlya postroeniya avtomatov upravleniya sistemami so slozhnym povedeniem na osnove obuchayuschikh primerov i spetsifikatsii”, Nauchno-tekhnicheskii vestnik SPbGU ITMO, 2010, № 69, 81–85
-
Egorov K.V., Tsarev F.N., “Sovmestnoe primenenie geneticheskogo programmirovaniya i verifikatsii modelei dlya postroeniya avtomatov upravleniya sistemami so slozhnym povedeniem”, Informatsionnye tekhnologii i sistemy, IPPI RAN, M., 2009, 72–82
-
Egorov K.V., Parfenov V.G., Tsarev F.N., “Sovmestnoe primenenie geneticheskogo programmirovaniya i verifikatsii modelei dlya postroeniya avtomatov upravleniya sistemami so slozhnym povedeniem”, Trudy XVII Vserossiiskoi nauchno-metodicheskoi konferentsii “Telematika`2010”, ò. 2, 2010, 344–345
Publications in Math-Net.Ru
© , 2024