Eisinger, Jochen; Klaedtke, Felix Don’t care words with an application to the automata-based approach for real addition. (English) Zbl 1165.68393 Form. Methods Syst. Des. 33, No. 1-3, 85-115 (2008). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{J. Eisinger} and \textit{F. Klaedtke}, Form. Methods Syst. Des. 33, No. 1--3, 85--115 (2008; Zbl 1165.68393) Full Text: DOI Link
Eisinger, Jochen Upper bounds on the automata size for integer and mixed real and integer linear arithmetic. (Extended abstract). (English) Zbl 1156.03330 Kaminski, Michael (ed.) et al., Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87530-7/pbk). Lecture Notes in Computer Science 5213, 431-445 (2008). MSC: 03D05 03B25 03F30 68Q45 68Q60 PDFBibTeX XMLCite \textit{J. Eisinger}, Lect. Notes Comput. Sci. 5213, 431--445 (2008; Zbl 1156.03330) Full Text: DOI
Dax, Christian; Eisinger, Jochen; Klaedtke, Felix Mechanizing the powerset construction for restricted classes of \(\omega \)-automata. (English) Zbl 1141.68430 Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 223-236 (2007). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Dax} et al., Lect. Notes Comput. Sci. 4762, 223--236 (2007; Zbl 1141.68430) Full Text: DOI