Pages that link to "Item:Q2398505"
From MaRDI portal
The following pages link to The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs (Q2398505):
Displaying 5 items.
- On the complexity of existence of homing sequences for nondeterministic finite state machines (Q300305) (← links)
- The relation between preset distinguishing sequences and synchronizing sequences (Q736851) (← links)
- Adaptive experiments for state identification in finite state machines with timeouts (Q2104144) (← links)
- Introducing complexity to formal testing (Q2291824) (← links)
- Deriving Homing Sequences for Finite State Machines with Timed Guards (Q5060074) (← links)