RUS
ENG
Full version
PEOPLE
Chivilikhin Ñ S
Publications in Math-Net.Ru
Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas
Avtomat. i Telemekh.
, 2016, no. 3,
137–151
©
Steklov Math. Inst. of RAS
, 2024