{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T06:18:55Z","timestamp":1770704335966,"version":"3.49.0"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319105055","type":"print"},{"value":"9783319105062","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10506-2_18","type":"book-chapter","created":{"date-parts":[[2014,9,2]],"date-time":"2014-09-02T22:41:50Z","timestamp":1409697710000},"page":"262-277","source":"Crossref","is-referenced-by-count":20,"title":["Specifying Safety Monitors for Autonomous Systems Using Model-Checking"],"prefix":"10.1007","author":[{"given":"Mathilde","family":"Machin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fanny","family":"Dufoss\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Paul","family":"Blanquart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00e9mie","family":"Guiochet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Powell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00e9l\u00e8ne","family":"Waeselynck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Mekki-Mokhtar, A., Blanquart, J.P., Guiochet, J., Powell, D., Roy, M.: Safety trigger conditions for critical autonomous systems. In: 18th Pacific Rim Int\u2019l Symp. on Dependable Computing (PRDC), pp. 61\u201369. IEEE (2012)","DOI":"10.1109\/PRDC.2012.22"},{"key":"18_CR2","unstructured":"ISO\/IEC 61508-7: Functional safety of electrical \/ electronic \/ programmable electronic safety-related systems - part 7: Overview of techniques and measures (2010)"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: Nusmv 2: An opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"18_CR4","unstructured":"Dufoss\u00e9, F., Machin, M., Guiochet, J., Powell, D., Roy, M., Waeselynck, H.: Safety strategy synthesis: Game theory versus model-checking. LAAS-CNRS, Tech. Rep. 14059 (2014)"},{"key":"18_CR5","unstructured":"Saphari project, \n                    \n                      http:\/\/www.saphari.eu"},{"key":"18_CR6","unstructured":"Rushby, J.: Kernels for safety. Safe and Secure Computing Systems, 210\u2013220 (1989)"},{"issue":"5","key":"18_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M. Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. Journal of Logic and Algebraic Programming\u00a078(5), 293\u2013303 (2009)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Pike, L., Niller, S., Wegmann, N.: Runtime verification for ultra-critical systems. In: 2nd Int\u2019l Conf. on Runtime Verification, San Francisco, California, USA (2011)","DOI":"10.1007\/978-3-642-29860-8_23"},{"key":"18_CR9","unstructured":"Wonham, W.M.: Supervisory control of discrete event systems (2005)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Fotoohi, L., Gr\u00e4ser, A.: A supervisory control approach for safe behavior of service robot case study: Friend. In: Proceedings of the 2010 ACM Symposium on Applied Computing, pp. 1305\u20131306. ACM (2010)","DOI":"10.1145\/1774088.1774367"},{"issue":"13","key":"18_CR11","doi-asserted-by":"publisher","first-page":"1603","DOI":"10.1177\/0278364912459665","volume":"31","author":"R. Woodman","year":"2012","unstructured":"Woodman, R., Winfield, A.F., Harper, C., Fraser, M.: Building safer robots: Safety driven control. Int\u2019l J. Robotics Research\u00a031(13), 1603\u20131626 (2012)","journal-title":"Int\u2019l J. Robotics Research"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10506-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T15:27:05Z","timestamp":1558970825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10506-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105055","9783319105062"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10506-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}