Alexander Godlevsky

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 1

Top Topics

Connectionist Models

Regular Languages

Finite Automaton

User Requirements

Top Venues

Publications

Alexander Godlevsky, Hayk A. Grigoryan, Tigran Grigoryan, Samvel K. Shoukourian
Some Results on Regular Events for Multitape Finite Automata: A Preliminary Report. Bull. EATCS 133 (2021)
Alexander A. Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexander A. Letychevskyi, Vladimir S. Peschanenko
Usage of Invariants for Symbolic Verification of Requirements. SCSS (2013)