Natalia Kushik

Available identifiers

zbMath Open kushik.nataliaMaRDI QIDQ1707349

List of research outcomes

Publication	Date of Publication	Type
The no-meet matroid	2024-06-20	Paper
Homing Sequence Derivation With Quantified Boolean Satisfiability	2022-08-05	Paper
Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation	2018-03-29	Paper
The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs	2017-08-16	Paper
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata	2015-09-23	Paper
On the Length of Homing Sequences for Nondeterministic Finite State Machines	2013-08-07	Paper
Preset and adaptive homing experiments for nondeterministic finite state machines	2011-07-29	Paper

Research outcomes over time

This page was built for person: Natalia Kushik