×

Found 15 Documents (Results 1–15)

Language-guided controller synthesis for discrete-time linear systems. (English) Zbl 1361.68114

Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 95-104 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Temporal answer set programming. (English) Zbl 1281.68064

Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 445-450, electronic only (2012).
MSC:  68N17 68T30 03B44
PDFBibTeX XMLCite
Full Text: DOI

Paving the way for temporal grounding. (English) Zbl 1281.68060

Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 290-300, electronic only (2012).
MSC:  68N17 68T27 03B44
PDFBibTeX XMLCite
Full Text: DOI

A language-theoretic view of verification. (English) Zbl 1256.68119

D’Souza, Deepak (ed.) et al., Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). IISc Research Monographs Series 2, 149-169 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 3

Main Field

all top 3

Software