Counterexample-guided inference of controller logic from execution traces and temporal formulas
Year of publication
2018
Authors
Chivilikhin, Daniil; Buzhinskv, Igor; Ulvantsev, Vladimir; Stankevich, Andrey; Shalyto, Anatoly; Vyatkin, Valeriy
Organizations and authors
Publication type
Publication format
Article
Parent publication type
Conference
Article type
Other article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Journal/Series
Proceedings IEEE International Conference on Emerging Technologies and Factory Automation
Parent publication name
Conference
Proceedings IEEE International Conference on Emerging Technologies and Factory Automation
Publisher
Volume
2018-September
Article number
8502463
Pages
91-98
ISSN
ISBN
Publication forum
Publication forum level
1
Open access
Open access in the publisher’s service
No
Self-archived
No
Other information
Fields of science
Computer and information sciences
Keywords
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Internationality of the publisher
International
Language
English
International co-publication
Yes
Co-publication with a company
No
DOI
10.1109/ETFA.2018.8502463
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes