Adaptive experiments for state identification in finite state machines with timeouts

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

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

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

Cited In (1)

• Title not available (Why is that?)

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)