LTL à GBA contre LTL à BA

cs.stackexchange https://cs.stackexchange.com/questions/81348

Question

Supposons que j'ai une formule LTL et je veux la convertir en automate Buchi. Pour quel fragment de LTL, GBA est plus succinct et pour lequel le fragment BA a la même taille que GBA.

Pas de solution correcte

Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange
scroll top