Vladimir I. Ulyantsev

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 2

Top Topics

Ant Colony Algorithm

Abductive Reasoning

Top Venues

Autom. Remote. Control.

Publications

Daniil Chivilikhin, Igor Buzhinsky, Vladimir I. Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin
Counterexample-guided inference of controller logic from execution traces and temporal formulas. ETFA (2018)
Daniil S. Chivilikhin, Vladimir I. Ulyantsev, Anatoly A. Shalyto
Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas. Autom. Remote. Control. 77 (3) (2016)