Found 3 Documents (Results 1–3)

From LTL to unambiguous Büchi automata via disambiguation of alternating automata. (English) Zbl 07817379

ter Beek, Maurice H. (ed.) et al., Formal methods – the next 30 years. Third world congress/23rd symposium, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11800, 262-279 (2019).
MSC:  68Q60 03B44 68Q45
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3