Synchronous or alternating? LTL black-box checking of Mealy machines by combining the LearnLib and LTSmin (Q6165822)
From MaRDI portal
scientific article; zbMATH DE number 7721083
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Synchronous or alternating? LTL black-box checking of Mealy machines by combining the LearnLib and LTSmin |
scientific article; zbMATH DE number 7721083 |
Statements
Synchronous or alternating? LTL black-box checking of Mealy machines by combining the LearnLib and LTSmin (English)
0 references
2 August 2023
0 references
