Kapur, Deepak; Zhang, Zhihai; Horbach, Matthias; Zhao, Hengjun; Lu, Qi; Nguyen, ThanhVu Geometric quantifier elimination heuristics for automatically generating octagonal and max-plus invariants. (English) Zbl 1385.68013 Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 189-228 (2013). MSC: 68N30 03C10 68T15 PDFBibTeX XMLCite \textit{D. Kapur} et al., Lect. Notes Comput. Sci. 7788, 189--228 (2013; Zbl 1385.68013) Full Text: DOI
Lu, Qi; Madsen, Michael; Milata, Martin; Ravn, Søren; Fahrenberg, Uli; Larsen, Kim G. Reachability analysis for timed automata using max-plus algebra. (English) Zbl 1279.68214 J. Log. Algebr. Program. 81, No. 3, 298-313 (2012). MSC: 68Q60 68Q45 15A80 68P05 PDFBibTeX XMLCite \textit{Q. Lu} et al., J. Log. Algebr. Program. 81, No. 3, 298--313 (2012; Zbl 1279.68214) Full Text: DOI