{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:33:19Z","timestamp":1725744799005},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642408458"},{"type":"electronic","value":"9783642408465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40846-5_45","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T11:08:26Z","timestamp":1376478506000},"page":"451-461","source":"Crossref","is-referenced-by-count":0,"title":["Template-Based Synthesis of Plan Execution Monitors"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Reinbacher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9sar","family":"Guzm\u00e1n-Alvarez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A.: Real-time Logics: Complexity and Expressiveness. In: LICS, pp. 390\u2013401. IEEE (1990)","DOI":"10.21236\/ADA323441"},{"key":"45_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Real-Time: Theory in Practice","author":"R. Alur","year":"1992","unstructured":"Alur, R., Henzinger, T.: Logics and models of real time: A survey. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 74\u2013106. Springer, Heidelberg (1992)"},{"key":"45_CR3","unstructured":"Ambros-Ingerson, J.A., Steel, S.: Integrating planning, execution and monitoring. In: Proceedings of the AAAI, pp. 83\u201388 (1988)"},{"key":"45_CR4","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press (2008)"},{"key":"45_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Runtime Verification","year":"2010","unstructured":"Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.): RV 2010. LNCS, vol.\u00a06418. Springer, Heidelberg (2010)"},{"key":"45_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-29860-8_20","volume-title":"Runtime Verification","author":"D. Basin","year":"2012","unstructured":"Basin, D., Klaedtke, F., Z\u0103linescu, E.: Algorithms for monitoring real-time properties. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol.\u00a07186, pp. 260\u2013275. Springer, Heidelberg (2012)"},{"key":"45_CR7","unstructured":"Basin, D.A., Klaedtke, F., M\u00fcller, S., Pfitzmann, B.: Runtime monitoring of metric first-order temporal properties. In: FSTTCS, pp. 49\u201360 (2008)"},{"key":"45_CR8","doi-asserted-by":"crossref","unstructured":"Divakaran, S., D\u2019Souza, D., Mohan, M.R.: Conflict-tolerant real-time specifications in metric temporal logic. In: TIME, pp. 35\u201342 (2010)","DOI":"10.1109\/TIME.2010.23"},{"key":"45_CR9","unstructured":"Erann Gat, J.F., Miller, D.: Planning for execution monitoring on a planetary rover. In: Proceedings of the Space Operations Automation and Robotics Workshop (1990)"},{"key":"45_CR10","unstructured":"Fikes, R.E., Hart, P.E., Nilsson, N.J.: Learning and executing generalized robot plans. In: Readings in Knowledge Acquisition and Learning, pp. 485\u2013503. Morgan Kaufmann Publishers Inc. (1993)"},{"key":"45_CR11","unstructured":"Fritz, C., McIlraith, S.A.: Monitoring plan optimality during execution. In: ICAPS, pp. 144\u2013151 (2007)"},{"key":"45_CR12","doi-asserted-by":"crossref","unstructured":"Gat, E., Slack, M.G., Miller, D.P., Fiby, R.: Path planning and execution monitoring for a planetary rover. In: Proceedings of the IEEE International Conference on Robotics and Automation, pp. 20\u201325 (1990)","DOI":"10.1109\/ROBOT.1990.125939"},{"key":"45_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/978-3-540-45069-6_37","volume-title":"Computer Aided Verification","author":"M. Geilen","year":"2003","unstructured":"Geilen, M.: An improved on-the-fly tableau construction for a real-time temporal logic. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 394\u2013406. Springer, Heidelberg (2003)"},{"key":"45_CR14","unstructured":"Gianni, M., Papadakis, P., Pirri, F., Liu, M., Pomerleau, F., Colas, F., Zimmermann, K., Svoboda, T., Petricek, T., Kruijff, G.J., Khambhaita, H., Zender, H.: A unified framework for planning and execution-monitoring of mobile robots. In: PAMR. AAAI, AAAI Press (August 2011)"},{"key":"45_CR15","unstructured":"Kvarnstr\u00f6m, J., Heintz, F., Doherty, P.: A temporal logic-based planning and execution monitoring system. In: ICAPS, pp. 198\u2013205 (2008)"},{"key":"45_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11603009_2","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"O. Maler","year":"2005","unstructured":"Maler, O., Nickovic, D., Pnueli, A.: Real time temporal logic: Past, present, future. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol.\u00a03829, pp. 2\u201316. Springer, Heidelberg (2005)"},{"key":"45_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-540-73368-3_12","volume-title":"Computer Aided Verification","author":"O. Maler","year":"2007","unstructured":"Maler, O., Nickovic, D., Pnueli, A.: On synthesizing controllers from bounded-response properties. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 95\u2013107. Springer, Heidelberg (2007)"},{"key":"45_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/978-3-540-78127-1_26","volume-title":"Pillars of Computer Science","author":"O. Maler","year":"2008","unstructured":"Maler, O., Nickovic, D., Pnueli, A.: Checking temporal properties of discrete, timed and continuous behaviors. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Trakhtenbrot\/Festschrift. LNCS, vol.\u00a04800, pp. 475\u2013505. Springer, Heidelberg (2008)"},{"key":"45_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-35632-2_13","volume-title":"Runtime Verification","author":"T. Reinbacher","year":"2013","unstructured":"Reinbacher, T., F\u00fcgger, M., Brauer, J.: Real-time runtime verification on chip. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol.\u00a07687, pp. 110\u2013125. Springer, Heidelberg (2013)"},{"key":"45_CR20","doi-asserted-by":"crossref","unstructured":"Schumann, J., Mengshoel, O.J., Srivastava, A.N., Darwiche, A.: Towards software health management with Bayesian networks. In: FoSER, pp. 331\u2013336 (2010)","DOI":"10.1145\/1882362.1882430"},{"key":"45_CR21","first-page":"145","volume":"113","author":"P. Thati","year":"2005","unstructured":"Thati, P., Ro\u015fu, G.: Monitoring Algorithms for Metric Temporal Logic specifications. ENTCS\u00a0113, 145\u2013162 (2005)","journal-title":"ENTCS"}],"container-title":["Lecture Notes in Computer Science","Hybrid Artificial Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40846-5_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,20]],"date-time":"2019-07-20T20:05:43Z","timestamp":1563653143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40846-5_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642408458","9783642408465"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40846-5_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}