27 citations · 31 across the 5 of their papers we have counts for
3 papers · 1 filter
Reinforcement-based Simultaneous Algorithm and its Hyperparameters Selection
Valeria Efimova, Andrey Filchenkov, Anatoly Shalyto
Many algorithms for data analysis exist, especially for classification problems. To solve a data analysis problem, a proper algorithm should be chosen, and also its hyperparameters…
Symmetry Breaking Predicates for SAT-based DFA Identification
Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto
It was shown before that the NP-hard problem of deterministic finite automata (DFA) identification can be effectively translated to Boolean satisfiability (SAT). Modern SAT-solvers…
Exact Finite-State Machine Identification from Scenarios and Temporal Properties
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto
Finite-state models, such as finite-state machines (FSMs), aid software engineering in many ways. They are often used in formal verification and also can serve as visual software m…