Active Learning of Formal Plant Models For Cyber-Physical Systems

Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto. Active Learning of Formal Plant Models For Cyber-Physical Systems. In 16th IEEE International Conference on Industrial Informatics, INDIN 2018, Porto, Portugal, July 18-20, 2018. pages 719-724, IEEE, 2018. [doi]

Authors

Polina Ovsiannikova

This author has not been identified. Look up 'Polina Ovsiannikova' in Google

Daniil Chivilikhin

This author has not been identified. Look up 'Daniil Chivilikhin' in Google

Vladimir Ulyantsev

This author has not been identified. Look up 'Vladimir Ulyantsev' in Google

Andrey Stankevich

This author has not been identified. Look up 'Andrey Stankevich' in Google

Ilya Zakirzyanov

This author has not been identified. Look up 'Ilya Zakirzyanov' in Google

Valeriy Vyatkin

This author has not been identified. Look up 'Valeriy Vyatkin' in Google

Anatoly Shalyto

This author has not been identified. Look up 'Anatoly Shalyto' in Google