Reputational Genetic Model for Regular Inference-Reference-Cited by-同舟云学术

Reputational Genetic Model for Regular Inference

Published:2019-11-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2019 3rd International Conference on Advances in Image Processing
language:
Short-container-title:

Author:

Grachev Petr¹

Affiliation:

1. ITMO University, St.Petersburg, Russia

Funder

The project within the framework of the basic part of the state task ? 2.8866.2017/8.9 Technology of software development for control systems of responsible objects based on deep learning and finite state machines

Publisher

ACM

Reference25 articles.

1. Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties

2. 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (pp. 1--7). IEEE. 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (pp. 1--7). IEEE. I. Buzhinsky V. Vyatkin Modular plant model synthesis from behavior traces and temporal properties 2017

3. 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (pp. 1--4). IEEE. 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (pp. 1--4). IEEE. P. Ovsiannikova D. Chivilikhin V. Ulyantsev A. Shalyto Closed-loop verification of a compensating group drive model using synthesized formal plant model 2017

4. Finite state machine decomposition for low power

5. Barlović R. Holfeld A. Räbiger J. 2008. Sampling in Semiconductor Manufacturing. Encyclopedia of Statistics in Quality and Reliability 4. Barlović R. Holfeld A. Räbiger J. 2008. Sampling in Semiconductor Manufacturing. Encyclopedia of Statistics in Quality and Reliability 4.