Distinguishing Experiments for Timed Nondeterministic Finite State Machines
From MaRDI portal
Publication:5414484
DOI10.14232/actacyb.21.2.2013.1zbMath1299.68035OpenAlexW2400952657MaRDI QIDQ5414484
Nina Yevtushenko, Khaled El-Fakih, Natalia Shabaldina, 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
state identificationadaptive distinguishing experimentsnondeterministic timed finite state machinenondeterministic untimed finite state machinepreset distinguishing experiments
Related Items (3)
Deriving Homing Sequences for Finite State Machines with Timed Guards ⋮ Equivalence checking and intersection of deterministic timed finite state machines ⋮ Adaptive experiments for state identification in finite state machines with timeouts
This page was built for publication: Distinguishing Experiments for Timed Nondeterministic Finite State Machines