×

Found 3 Documents (Results 1–3)

Craig interpolation in the presence of non-linear constraints. (English) Zbl 1348.68141

Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 240-255 (2011).
MSC:  68Q60 03C40 68T15
PDFBibTeX XMLCite
Full Text: DOI

Challenges in constraint-based analysis of hybrid systems. (English) Zbl 1248.68328

Oddi, Angelo (ed.) et al., Recent advances in constraints. 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008, Rome, Italy, June 18–20, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03250-9/pbk). Lecture Notes in Computer Science 5655. Lecture Notes in Artificial Intelligence, 51-65 (2009).
MSC:  68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

Computing optimized representations for non-convex polyhedra by detection and removal of redundant linear constraints. (English) Zbl 1234.68266

Kowalewski, Stefan (ed.) et al., Tools and algorithms for the construction and analysis of systems. 15th international conference, TACAS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00767-5/pbk). Lecture Notes in Computer Science 5505, 383-397 (2009).
MSC:  68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

all top 3

Software