Distinguishing experiments for timed nondeterministic finite state machines

DOI10.14232/ACTACYB.21.2.2013.1MaRDI QIDQ5414484zbMATH OpenOpenAlexFDO

Authors Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko, Maksim Leonidovich Gromov

Publication date 5 May 2014

Published in Acta Cybernetica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.14232/actacyb.21.2.2013.1

zbMATH Keywords

adaptive distinguishing experimentsnondeterministic timed finite state machinenondeterministic untimed finite state machinepreset distinguishing experimentsstate identification

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Synthesis of distinguishing test cases for timed finite state machines
• On deriving test suites for nondeterministic finite state machines with time-outs
• Adaptive tests derivation for nondeterministic automata
• Deriving Homing Sequences for Finite State Machines with Timed Guards
• Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation

Cited in

(7)

• Synthesis of distinguishing test cases for timed finite state machines
• On deriving test suites for nondeterministic finite state machines with time-outs
• Adaptive experiments for state identification in finite state machines with timeouts
• Deterministic timed finite state machines: equivalence checking and expressive power
• Deriving Homing Sequences for Finite State Machines with Timed Guards
• Adaptive tests derivation for nondeterministic automata
• Equivalence checking and intersection of deterministic timed finite state machines

This page was built for publication: Distinguishing experiments for timed nondeterministic finite state machines

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