What kind of LTL formula can be represented by DBAs

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

Question

I am looking for the portion of LTL formula that can be expressed by deterministic buchi automata. Is there any classification of this such?

No correct solution

Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange
scroll top