Active Learning of Formal Plant Models for Cyber-Physical Systems

Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Fingerprint

Dive into the research topics of 'Active Learning of Formal Plant Models for Cyber-Physical Systems'. Together they form a unique fingerprint.

Business & Economics

Engineering & Materials Science