Bounded synthesis for Streett, Rabin, and \(\mathrm{CTL}^*\) (Q2164233)
From MaRDI portal
!
WARNING
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 7571384
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Bounded synthesis for Streett, Rabin, and \(\mathrm{CTL}^*\) |
scientific article; zbMATH DE number 7571384 |
Statements
Bounded synthesis for Streett, Rabin, and \(\mathrm{CTL}^*\) (English)
0 references
12 August 2022
0 references
0.8326818346977234
0 references
0.7968669533729553
0 references
0.7964543104171753
0 references
0.7825305461883545
0 references
