Adaptive Experiments for State Identification in Finite State Machines with Timeouts.

Aleksandr S. Tvardovskii Nina Yevtushenko

Published in: MCU (2022)

Keyphrases

finite state machines
state transition
model checking
finite state automata
state space
real time
regular expressions
cellular automaton
digital circuits
databases
contextual information