LTL a GBA contro LTL a BA
Domanda
Supponiamo di avere una formula LTL e voglio convertirla in un automa Buchi. Per il quale frammento di LTL, GBA è più succinto e per il quale il frammento BA ha le stesse dimensioni di GBA.
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange