×

Found 34 Documents (Results 1–34)

Coupling policy iterations with piecewise quadratic Lyapunov functions. (English) Zbl 1369.93564

Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 143-152 (2017).
MSC:  93D30 93C55 93B40
PDFBibTeX XMLCite
Full Text: DOI

Policy iteration in finite templates domain. (English) Zbl 1351.68068

Bogomolov, Sergiy (ed.) et al., Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17–18, 2014 and April 13, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 317, 3-18 (2015).
MSC:  68N30 90C25
PDFBibTeX XMLCite
Full Text: DOI

Quadratic zonotopes. An extension of zonotopes to quadratic arithmetics. (English) Zbl 1329.68073

Feng, Xinyu (ed.) et al., Programming languages and systems. 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 – December 2, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26528-5/pbk; 978-3-319-26529-2/ebook). Lecture Notes in Computer Science 9458, 127-145 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automatic synthesis of piecewise linear quadratic invariants for programs. (English) Zbl 1432.68254

D’Souza, Deepak (ed.) et al., Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8931, 99-116 (2015).
MSC:  68Q60 68N30 93C05
PDFBibTeX XMLCite
Full Text: DOI

Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis. (English) Zbl 1260.68082

Gordon, Andrew D. (ed.), Programming languages and systems. 19th European symposium on programming, ESOP 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11956-9/pbk). Lecture Notes in Computer Science 6012, 23-42 (2010).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software