logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
D

Daniil Chivilikhin

ITMO University

8H指数
42论文数
220被引数
收录论文 6
发表时间
logo
fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
errIEEE ACCESS
IF3.6
err2022-01-01
err2
errOAAI
errChukharev, Konstantin; Chivilikhin, Daniil
err分享
err收藏
BeBoSy: Behavior Examples Meet Bounded Synthesis
errIEEE ACCESS
IF3.6
err2021-01-01
err0
errOAAI
errChivilikhin, Daniil; Zakirzyanov, Ilya; Ulyantsev, Vladimir
err分享
err收藏
Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2020-12-01
err11
PREAI
errChivilikhin, Daniil; Patil, Sandeep; Chukharev, Konstantin; Cordonnier, Anthony; Vyatkin, Valeriy
err分享
err收藏
SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers
errIEEE ACCESS
IF3.6
err2020-01-01
err2
errOAAI
errChukharev, Konstantin; Suvorov, Dmitrii; Chivilikhin, Daniil; Vyatkin, Valeriy
err分享
err收藏
Function Block Finite-State Model Identification Using SAT and CSP Solvers
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2019-08-01
err7
PREAI
errChivilikhin, Daniil; Ulyantsev, Vladimir; Shalyto, Anatoly; Vyatkin, Valeriy
err分享
err收藏
Reconstruction of Function Block Logic Using Metaheuristic Algorithm
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2017-08-01
err1
PREAI
errChivilikhin, Daniil; Shalyto, Anatoly; Patil, Sandeep; Vyatkin, Valeriy
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
V
Valeriy Vyatkin
H 指数: 40 · 论文数: 556
S
Sandeep Patil
H 指数: 18 · 论文数: 93
V
Valeriy Vyatkin
H 指数: 16 · 论文数: 59
V
Vladimir Ulyantsev
H 指数: 15 · 论文数: 75
A
Anatoly Shalyto
H 指数: 14 · 论文数: 149
查看更多