×

Found 3 Documents (Results 1–3)

A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. (English) Zbl 1453.68098

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 208-226 (2017).
MSC:  68Q32 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. (English) Zbl 1381.68049

Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-21689-8/pbk; 978-3-319-21690-4/ebook). Lecture Notes in Computer Science 9206, 658-674 (2015).
MSC:  68N30 41A05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

Main Field

Software