Adaptive experiments for state identification in finite state machines with timeouts

DOI10.1007/978-3-031-13502-6_12MaRDI QIDQ2104144zbMATH OpenOpenAlexFDO

Authors 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

• scientific article; zbMATH DE number 3598362 (Why is no real title available?)
• scientific article; zbMATH DE number 3254909 (Why is no real title available?)
• Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
• Conformance testing for real-time systems
• Deterministic timed finite state machines: equivalence checking and expressive power
• Distinguishing experiments for timed nondeterministic finite state machines
• Formal testing from timed finite state machines
• Least Upper Bounds on Minimal Terminal State Experiments for Two Classes of Sequential Machines
• On the Length of Homing Sequences for Nondeterministic Finite State Machines
• Preset and adaptive homing experiments for nondeterministic finite state machines
• Synchronizing words for weighted and timed automata
• Testing finite-state machines: state identification and verification
• The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs

Cited in

(1)

• scientific article; zbMATH DE number 4041276 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104144)