×

Found 4 Documents (Results 1–4)

\(\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

On the relationship between LTL normal forms and Büchi automata. (English) Zbl 1390.68435

Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 256-270 (2013).
MSC:  68Q60 03B44 03D05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software