Pages that link to "Item:Q5200066"
From MaRDI portal
The following pages link to Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines (Q5200066):
Displayed 7 items.
- On the complexity of existence of homing sequences for nondeterministic finite state machines (Q300305) (← links)
- Hardness and inapproximability of minimizing adaptive distinguishing sequences (Q479811) (← links)
- The relation between preset distinguishing sequences and synchronizing sequences (Q736851) (← links)
- Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation (Q1707350) (← links)
- Adaptive experiments for state identification in finite state machines with timeouts (Q2104144) (← links)
- Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata (Q2947421) (← links)
- Deriving Homing Sequences for Finite State Machines with Timed Guards (Q5060074) (← links)