Adaptive experiments for state identification in finite state machines with timeouts

DOI10.1007/978-3-031-13502-6_12OpenAlexW4290017224MaRDI QIDQ2104144

Aleksandr Tvardovskii, Nina Yevtushenko

Publication date: 9 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-13502-6_12

zbMATH Keywords

finite state machinessynchronizing sequencetimeoutshoming sequence

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conformance testing for real-time systems
• The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs
• Formal testing from timed finite state machines
• Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
• Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines
• On the Length of Homing Sequences for Nondeterministic Finite State Machines
• Testing finite-state machines: state identification and verification
• Distinguishing Experiments for Timed Nondeterministic Finite State Machines
• Least Upper Bounds on Minimal Terminal State Experiments for Two Classes of Sequential Machines

This page was built for publication: Adaptive experiments for state identification in finite state machines with timeouts