Careful synchronization of partial deterministic finite automata.
Acta Informatica, 2022
Optimal synchronization of partial deterministic finite automata.
CoRR, 2020
Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata.
Proceedings of the Mathematical Optimization Theory and Operations Research, 2019
Using Sat solvers for synchronization issues in non-deterministic automata.
CoRR, 2018
Cartesian product of two symmetric starter vectors of orthogonal double covers.
AKCE Int. J. Graphs Comb., 2015