Barnat, Jiří; Černá, Ivana; Tůmová, Jana Verification of systems with degradation. (English) Zbl 1399.68070 Comput. Inform. 31, No. 3, 507-530 (2012). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{J. Barnat} et al., Comput. Inform. 31, No. 3, 507--530 (2012; Zbl 1399.68070)
Aydin Gol, Ebru; Lazar, Mircea; Belta, Calin 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). MSC: 68Q45 68Q60 93B50 93C05 93C55 93D30 PDFBibTeX XMLCite \textit{E. Aydin Gol} et al., in: 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). 95--104 (2012; Zbl 1361.68114) Full Text: DOI
Diéguez, Martín 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 \textit{M. Diéguez}, LIPIcs -- Leibniz Int. Proc. Inform. 17, 445--450 (2012; Zbl 1281.68064) Full Text: DOI
Aguado, Felicidad; Cabalar, Pedro; Diéguez, Martín; Pérez, Gilberto; Vidal, Concepción 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 \textit{F. Aguado} et al., LIPIcs -- Leibniz Int. Proc. Inform. 17, 290--300 (2012; Zbl 1281.68060) Full Text: DOI
Shi, Huixian; Wang, Guojun A quantitative approach for linear temporal logic based on finite transition systems. (Chinese. English summary) Zbl 1274.03035 Fuzzy Syst. Math. 26, No. 5, 30-35 (2012). MSC: 03B44 PDFBibTeX XMLCite \textit{H. Shi} and \textit{G. Wang}, Fuzzy Syst. Math. 26, No. 5, 30--35 (2012; Zbl 1274.03035)
Pranevicius, Henrikas; Norgėla, Stanislovas Applications of finite linear temporal logic to piecewise linear aggregates. (English) Zbl 1267.68230 Informatica, Vilnius 23, No. 3, 427-441 (2012). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{H. Pranevicius} and \textit{S. Norgėla}, Informatica, Vilnius 23, No. 3, 427--441 (2012; Zbl 1267.68230)
Nepeivoda, A. N. Verification of a technical system model with linear temporal logic. (English. Russian original) Zbl 1258.93019 Autom. Remote Control 73, No. 9, 1539-1552 (2012); translation from Avtom. Telemekh. 2012, No. 9, 124-140 (2012). MSC: 93A30 93C95 03B44 PDFBibTeX XMLCite \textit{A. N. Nepeivoda}, Autom. Remote Control 73, No. 9, 1539--1552 (2012; Zbl 1258.93019); translation from Avtom. Telemekh. 2012, No. 9, 124--140 (2012) Full Text: DOI
Lodaya, Kamal 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). MSC: 68Q60 68Q45 03B44 03B70 PDFBibTeX XMLCite \textit{K. Lodaya}, IISc Res. Monogr. Ser. 2, 149--169 (2012; Zbl 1256.68119) Full Text: DOI
Felscher, Ingo LTL-model-checking via model composition. (English) Zbl 1374.68283 Finkel, Alain (ed.) et al., Reachability problems. 6th international workshop, RP 2012, Bordeaux, France, September 17–19, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33511-2/pbk). Lecture Notes in Computer Science 7550, 42-53 (2012). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{I. Felscher}, Lect. Notes Comput. Sci. 7550, 42--53 (2012; Zbl 1374.68283) Full Text: DOI
Kuhtz, Lars; Finkbeiner, Bernd Efficient parallel path checking for linear-time temporal logic with past and bounds. (English) Zbl 1253.68221 Log. Methods Comput. Sci. 8, No. 4, Paper No. 10, 24 p. (2012). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{L. Kuhtz} and \textit{B. Finkbeiner}, Log. Methods Comput. Sci. 8, No. 4, Paper No. 10, 24 p. (2012; Zbl 1253.68221) Full Text: DOI arXiv
Sun, Yajuan; Lin, Hai; Chen, Ben M. An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications. (English) Zbl 1253.93027 Int. J. Control 85, No. 10, 1464-1476 (2012). MSC: 93B15 93C15 93C30 93C35 PDFBibTeX XMLCite \textit{Y. Sun} et al., Int. J. Control 85, No. 10, 1464--1476 (2012; Zbl 1253.93027) Full Text: DOI arXiv
Rybakov, Vladimir V. Writing out unifiers in linear temporal logic. (English) Zbl 1259.03029 J. Log. Comput. 22, No. 5, 1199-1206 (2012). MSC: 03B44 PDFBibTeX XMLCite \textit{V. V. Rybakov}, J. Log. Comput. 22, No. 5, 1199--1206 (2012; Zbl 1259.03029) Full Text: DOI
Bresolin, Davide; Sala, Pietro; Sciavicco, Guido On begins, meets and before. (English) Zbl 1259.03028 Int. J. Found. Comput. Sci. 23, No. 3, 559-583 (2012). MSC: 03B44 03B25 68Q25 PDFBibTeX XMLCite \textit{D. Bresolin} et al., Int. J. Found. Comput. Sci. 23, No. 3, 559--583 (2012; Zbl 1259.03028) Full Text: DOI
Hussak, Walter Monodic temporal logic with quantified propositional variables. (English) Zbl 1262.03033 J. Log. Comput. 22, No. 3, 517-544 (2012). Reviewer: Joost-Pieter Katoen (Aachen) MSC: 03B44 03B25 03D80 PDFBibTeX XMLCite \textit{W. Hussak}, J. Log. Comput. 22, No. 3, 517--544 (2012; Zbl 1262.03033) Full Text: DOI Link
Jobstmann, Barbara; Staber, Stefan; Griesmayer, Andreas; Bloem, Roderick Finding and fixing faults. (English) Zbl 1263.68112 J. Comput. Syst. Sci. 78, No. 2, 441-460 (2012). Reviewer: Johan Georg Granström (Zürich) MSC: 68Q60 91A80 03B70 68N30 68Q25 68T20 PDFBibTeX XMLCite \textit{B. Jobstmann} et al., J. Comput. Syst. Sci. 78, No. 2, 441--460 (2012; Zbl 1263.68112) Full Text: DOI