Exact finite-state machine identification from scenarios and temporal properties

Vladimir Ulyantsev, Igor Buzhinsky*, Anatoly Shalyto

*Corresponding author for this work

Research output: Contribution to journalArticleScientificpeer-review

15 Citations (Scopus)
164 Downloads (Pure)

Fingerprint Dive into the research topics of 'Exact finite-state machine identification from scenarios and temporal properties'. Together they form a unique fingerprint.

Engineering & Materials Science