×

Found 8 Documents (Results 1–8)

Divide-and-conquer determinization of Büchi automata based on SCC decomposition. (English) Zbl 1514.68108

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 152-173 (2022).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the power of unambiguity in Büchi complementation. (English) Zbl 07455748

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 182-198 (2020).
MSC:  68Q45 68Q60 91A80
PDFBibTeX XMLCite
Full Text: arXiv Link

\(\mathrm{LTL}_{f}\) satisfiability checking. (English) Zbl 1366.68177

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 513-518 (2014).
MSC:  68Q60 68Q25
PDFBibTeX XMLCite
Full Text: arXiv Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software