Synchronous or alternating? LTL black-box checking of Mealy machines by combining the LearnLib and LTSmin (Q6165822)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7721083
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.81396747
0 references
0.81386214
0 references
0.80576646
0 references
0.80438435
0 references
0.8041176
0 references
