Электронная библиотека (репозиторий) Томского государственного университета
Yevtushenko, Nina V. | 2022

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Adaptive experiments for state identification in finite state machines with timeouts
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V.
Source: Machines, computations, and universality : 9th International conference, MCU 2022 Debrecen, Hungary, August 31 – September 2, 2022 : proceedings. Cham, 2022. P. 172-188
Type: статьи в сборниках
Date: 2022
Description: Homing and synchronizing sequences are used for the current state identification in finite state machines (FSMs). Adaptive homing and synchronizing sequences for which the next input depends on the ou ... More
Add   Deriving homing sequences for Finite State Machines with timeouts
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V.
Source: The computer journal. 2022. Vol. 66, № 9. P. 2181-2190
Type: статьи в журналах
Date: 2022
Description: State identification is the well-known problem in the automata theory that is aimed to determining the current or initial state of a system under test and this fact is widely used in the model-based t ... More
  • «
  • ←
  • 1
  • →
  • »
^