Dissecting \texttt{ltlsynt} (Q6151759)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Dissecting \texttt{ltlsynt} |
scientific article; zbMATH DE number 7815090
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Dissecting \texttt{ltlsynt} |
scientific article; zbMATH DE number 7815090 |
Statements
Dissecting \texttt{ltlsynt} (English)
0 references
11 March 2024
0 references
reactive synthesis
0 references
Mealy machines
0 references
parity automata
0 references
parity games
0 references
LTL formulas
0 references
0 references
0.8239766955375671
0 references
0.8168838024139404
0 references
0.8100538849830627
0 references
0.8073365092277527
0 references