{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T19:31:04Z","timestamp":1767987064082,"version":"3.49.0"},"reference-count":98,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2018,10,19]],"date-time":"2018-10-19T00:00:00Z","timestamp":1539907200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Reliable Intell Environ"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1007\/s40860-018-0070-5","type":"journal-article","created":{"date-parts":[[2018,10,19]],"date-time":"2018-10-19T10:43:21Z","timestamp":1539945801000},"page":"211-224","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["A survey on verification strategies for intelligent transportation systems"],"prefix":"10.1007","volume":"4","author":[{"given":"Hedda R.","family":"Schmidtke","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,19]]},"reference":[{"key":"70_CR1","first-page":"161","volume":"12","author":"R Baheti","year":"2011","unstructured":"Baheti R, Gill H (2011) Cyber-physical systems. Impact Control Technol 12:161\u2013166","journal-title":"Impact Control Technol"},{"key":"70_CR2","doi-asserted-by":"crossref","unstructured":"Behnke S, Sheh R, Sar\u0131el S, Lee DD (2017) RoboCup 2016: Robot World Cup XX. Springer","DOI":"10.1007\/978-3-319-68792-6"},{"issue":"2","key":"70_CR3","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.pmcj.2009.06.002","volume":"6","author":"C Bettini","year":"2010","unstructured":"Bettini C, Brdiczka O, Henricksen K, Indulska J, Nicklas D, Ranganathan A, Riboni D (2010) A survey of context modelling and reasoning techniques. Pervas Mobile Comput 6(2):161\u2013180","journal-title":"Pervas Mobile Comput"},{"key":"70_CR4","volume-title":"An investigation of the laws of thought: on which are founded the mathematical theories of logic and probabilities","author":"G Boole","year":"1854","unstructured":"Boole G (1854) An investigation of the laws of thought: on which are founded the mathematical theories of logic and probabilities. Dover Publications, New York"},{"issue":"1","key":"70_CR5","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.pmcj.2012.03.001","volume":"9","author":"A Boytsov","year":"2013","unstructured":"Boytsov A, Zaslavsky A (2013) Formal verification of context and situation models in pervasive computing. Pervas Mobile Comput 9(1):98\u2013117","journal-title":"Pervas Mobile Comput"},{"issue":"1","key":"70_CR6","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/9.654885","volume":"43","author":"MS Branicky","year":"1998","unstructured":"Branicky MS, Borkar VS, Mitter SK (1998) A unified framework for hybrid control: model and optimal control theory. IEEE Trans Autom Control 43(1):31\u201345","journal-title":"IEEE Trans Autom Control"},{"key":"70_CR7","unstructured":"Brogan WL (1990) Modern control theory. Pearson,"},{"issue":"1","key":"70_CR8","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L Cardelli","year":"2000","unstructured":"Cardelli L, Gordon AD (2000) Mobile ambients. Theoret Comput Sci 240(1):177\u2013213","journal-title":"Theoret Comput Sci"},{"key":"70_CR9","doi-asserted-by":"crossref","unstructured":"Clarke E, Emerson E (1982) Design and synthesis of synchronization skeletons using branching time temporal logic. Logics Program 52\u201371","DOI":"10.1007\/BFb0025774"},{"issue":"1\u20132","key":"70_CR10","first-page":"1","volume":"46","author":"AG Cohn","year":"2001","unstructured":"Cohn AG, Hazarika SM (2001) Qualitative spatial representation and reasoning: an overview. Fundamenta Informaticae 46(1\u20132):1\u201329","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"70_CR11","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1515\/agph.1973.55.2.191","volume":"55","author":"J Corcoran","year":"1973","unstructured":"Corcoran J (1973) A mathematical model of Aristotle\u2019s syllogistic. Archiv f\u00fcr Geschichte der Philosophie 55(2):191\u2013219","journal-title":"Archiv f\u00fcr Geschichte der Philosophie"},{"issue":"4","key":"70_CR12","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1109\/TSE.2011.67","volume":"38","author":"A Coronato","year":"2012","unstructured":"Coronato A, Pietro GD (2012) Tools for the rapid prototyping of provably correct ambient intelligence applications. IEEE Trans Softw Eng 38(4):975\u2013991","journal-title":"IEEE Trans Softw Eng"},{"key":"70_CR13","doi-asserted-by":"crossref","unstructured":"Dey AK, Abowd GD (2000) Towards a better understanding of context and context-awareness. In: Workshop on the what, who, where, when, and how of context-awareness. ACM","DOI":"10.1007\/3-540-48157-5_29"},{"issue":"1","key":"70_CR14","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1109\/69.273029","volume":"6","author":"MJ Egenhofer","year":"1994","unstructured":"Egenhofer MJ (1994) Spatial SQL: a query and presentation language. IEEE Trans Knowl Data Eng 6(1):86\u201395","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"70_CR15","unstructured":"Egenhofer MJ, Mark DM (1995) Naive geography. In: Frank AU, Kuhn W (eds) Information Spatial Theory, A Theoretical Basis for GIS. Springer, pp 1\u201315"},{"key":"70_CR16","unstructured":"European Union (2016) General data protection regulation. http:\/\/data.europa.eu\/eli\/reg\/2016\/679\/oj . Accessed 4 Oct 2018"},{"key":"70_CR17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R Fagin","year":"2004","unstructured":"Fagin R, Halpern JY, Moses Y, Vardi M (2004) Reasoning about knowledge. MIT press, USA"},{"key":"70_CR18","doi-asserted-by":"crossref","unstructured":"Floyd RW (1967) Assigning meanings to programs. Program Verif 14:65\u201381","DOI":"10.1007\/978-94-011-1793-7_4"},{"key":"70_CR19","doi-asserted-by":"crossref","unstructured":"Forbus KD (1984) Qualitative process theory. Artif Intell 24(1):85\u2013168","DOI":"10.1016\/0004-3702(84)90038-9"},{"key":"70_CR20","unstructured":"Frege G (1879) Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. L. Nebert"},{"key":"70_CR21","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-94-011-2606-9_20","volume-title":"Cognitive and Linguistic Aspects of Geographic Space","author":"Christian Freksa","year":"1991","unstructured":"Freksa C (1991) Qualitative spatial reasoning. In: Cognitive and linguistic aspects of geographic space. Springer, New York, pp 361\u2013372"},{"issue":"1\u20132","key":"70_CR22","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0004-3702(92)90090-K","volume":"54","author":"C Freksa","year":"1992","unstructured":"Freksa C (1992) Temporal reasoning based on semi-intervals. Artif Intell 54(1\u20132):199\u2013227","journal-title":"Artif Intell"},{"key":"70_CR23","unstructured":"Gajski DD, Vahid F, Narayan S, Gong J (1994) Specification and design of embedded systems, vol 13. Prentice Hall, Englewood Cliffs"},{"key":"70_CR24","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198233978.001.0001","volume-title":"Qualitative spatial change","author":"A Galton","year":"2000","unstructured":"Galton A (2000) Qualitative spatial change. Oxford University Press, Oxford"},{"key":"70_CR25","doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors P (2005) The detachment of thought. In: Erneling C, Johnson D (eds) The mind as a scientific subject: between brain and culture. Oxford University Press, Oxford, pp 323\u2013341","DOI":"10.1007\/1-4020-3399-0_15"},{"key":"70_CR26","first-page":"3","volume-title":"Formal Ontol Inf Syst","author":"N Guarino","year":"1998","unstructured":"Guarino N (1998) Formal ontology and information systems. In: Guarino N (ed) Formal Ontol Inf Syst. IOS Press, Amsterdam, pp 3\u201315"},{"issue":"3","key":"70_CR27","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1093\/logcom\/9.3.351","volume":"9","author":"V Haarslev","year":"1999","unstructured":"Haarslev V, Lutz C, M\u00f6ller R (1999) A description logic with concrete domains and a role-forming predicate operator. J Logic Comput 9(3):351\u2013384","journal-title":"J Logic Comput"},{"issue":"1\u20133","key":"70_CR28","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0167-2789(90)90087-6","volume":"42","author":"S Harnad","year":"1990","unstructured":"Harnad S (1990) The symbol grounding problem. Phys D Nonlinear Phenom 42(1\u20133):335\u2013346","journal-title":"Phys D Nonlinear Phenom"},{"key":"70_CR29","doi-asserted-by":"crossref","unstructured":"Havelund K, Shankar N (1996) Experiments in theorem proving and model checking for protocol verification. In: International symposium of formal methods Europe. Springer, pp 662\u2013681","DOI":"10.1007\/3-540-60973-3_113"},{"key":"70_CR30","doi-asserted-by":"crossref","unstructured":"Hawblitzel C, Howell J, Kapritsos M, Lorch JR, Parno B, Roberts ML, Setty S, Zill B (2015) Ironfleet: proving practical distributed systems correct. In: Proceedings of the 25th symposium on operating systems principles. ACM, pp 1\u201317","DOI":"10.1145\/2815400.2815428"},{"key":"70_CR31","first-page":"1","volume-title":"Theories of the commonsense world","author":"P Hayes","year":"1985","unstructured":"Hayes P (1985) The second naive physics manifesto. In: Hobbs J, Moore R (eds) Theories of the commonsense world. Ablex Publishing Corporation, Norwood, pp 1\u201336"},{"key":"70_CR32","unstructured":"Hayes PJ et al (1978) The naive physics manifesto. Tech. rep., Universit\u00e9 de Gen\u00e8ve, Institut pour les \u00e9tudes s\u00e9mantiques et cognitives"},{"key":"70_CR33","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611063","volume-title":"A distributed pi-calculus","author":"M Hennessy","year":"2007","unstructured":"Hennessy M (2007) A distributed pi-calculus. Cambridge University Press, Cambridge"},{"key":"70_CR34","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.pmcj.2005.07.003","volume":"2","author":"K Henricksen","year":"2006","unstructured":"Henricksen K, Indulska J (2006) Developing context-aware pervasive computing applications: models and approach. Pervas Mobile Comput 2:37\u201364","journal-title":"Pervas Mobile Comput"},{"key":"70_CR35","unstructured":"Hoare CAR, Jifeng H (1998) Unifying theories of programming, vol 14. Prentice Hall, Englewood Cliffs"},{"issue":"1","key":"70_CR36","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1002\/j.1538-7305.1990.tb00101.x","volume":"69","author":"GJ Holzmann","year":"1990","unstructured":"Holzmann GJ (1990) Algorithms for automated protocol verification. AT&T Techn J 69(1):32\u201344","journal-title":"AT&T Techn J"},{"key":"70_CR37","doi-asserted-by":"crossref","unstructured":"Hupfeld F, Beigl M (2000) Spatially aware local communication in the RAUM system. In: IDMS. Springer, pp 285\u2013296","DOI":"10.1007\/3-540-40002-8_27"},{"key":"70_CR38","doi-asserted-by":"crossref","unstructured":"Jang S, Woo W (2003) ubi-UCAM: a unified context-aware application model. In: Blackburn P, Ghidini C, Turner RM, Giunchiglia F (eds) International conference on modeling and using context, pp 178\u2013189","DOI":"10.1007\/3-540-44958-2_15"},{"key":"70_CR39","first-page":"246","volume-title":"Ubiquitous Comput","author":"C Jiang","year":"2002","unstructured":"Jiang C, Steenkiste P (2002) A hybrid location model with a computable location identifier for ubiquitous computing. In: Borriello G, Holmquist LE (eds) Ubiquitous Comput. Springer, Gothenburg, pp 246\u2013263"},{"key":"70_CR40","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/j.scico.2017.05.006","volume":"148","author":"M Kamali","year":"2017","unstructured":"Kamali M, Dennis LA, McAree O, Fisher M, Veres SM (2017) Formal verification of autonomous vehicle platooning. Sci Comput Program 148:88\u2013106","journal-title":"Sci Comput Program"},{"key":"70_CR41","doi-asserted-by":"crossref","unstructured":"Kawahara R, Dotan D, Sakairi T, Ono K, Nakamura H, Kirshin A, Hirose S, Ishikawa H (2009) Verification of embedded system\u2019s specification using collaborative simulation of sysml and simulink models. In: Model-based systems engineering, 2009. MBSE\u201909. International Conference on, IEEE, pp 21\u201328","DOI":"10.1109\/MBSE.2009.5031716"},{"issue":"2","key":"70_CR42","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1109\/JSYST.2014.2322503","volume":"9","author":"SK Khaitan","year":"2015","unstructured":"Khaitan SK, McCalley JD (2015) Design techniques and applications of cyberphysical systems: a survey. IEEE Syst J 9(2):350\u2013365","journal-title":"IEEE Syst J"},{"issue":"1","key":"70_CR43","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10708-013-9516-8","volume":"79","author":"R Kitchin","year":"2014","unstructured":"Kitchin R (2014) The real-time city? big data and smart urbanism. GeoJ 79(1):1\u201314","journal-title":"GeoJ"},{"issue":"1","key":"70_CR44","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TRO.2009.2035776","volume":"26","author":"M Kloetzer","year":"2010","unstructured":"Kloetzer M, Belta C (2010) Automatic deployment of distributed teams of robots from temporal logic motion specifications. IEEE Trans Robot 26(1):48\u201361","journal-title":"IEEE Trans Robot"},{"issue":"6","key":"70_CR45","doi-asserted-by":"publisher","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","volume":"25","author":"H Kress-Gazit","year":"2009","unstructured":"Kress-Gazit H, Fainekos GE, Pappas GJ (2009) Temporal-logic-based reactive mission and motion planning. IEEE Trans Robot 25(6):1370\u20131381","journal-title":"IEEE Trans Robot"},{"issue":"1\u20132","key":"70_CR46","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S0004-3702(00)00017-5","volume":"119","author":"B Kuipers","year":"2000","unstructured":"Kuipers B (2000) The spatial semantic hierarchy. Artif Intell 119(1\u20132):191\u2013233","journal-title":"Artif Intell"},{"key":"70_CR47","doi-asserted-by":"crossref","unstructured":"Kumar P, Goswami D, Chakraborty S, Annaswamy A, Lampka K, Thiele L (2012) A hybrid approach to cyber-physical systems verification. In: Proceedings of the 49th annual design automation conference. ACM, pp 688\u2013696","DOI":"10.1145\/2228360.2228484"},{"issue":"3","key":"70_CR48","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"Lamport L (1994) The temporal logic of actions. ACM Trans Program Lang Syst (TOPLAS) 16(3):872\u2013923","journal-title":"ACM Trans Program Lang Syst (TOPLAS)"},{"key":"70_CR49","first-page":"273","volume-title":"Ubiquitous computing","author":"M Langheinrich","year":"2001","unstructured":"Langheinrich M (2001) Privacy by design\u2014principles of privacy-aware ubiquitous systems. In: Abowd GD, Brumitt B, Shafer S (eds) Ubiquitous computing. Springer, Heidelberg, pp 273\u2013291"},{"key":"70_CR50","doi-asserted-by":"crossref","unstructured":"Lee EA (2008) Cyber physical systems: Design challenges. In: Object oriented real-time distributed computing (ISORC), 2008 11th IEEE international symposium on IEEE, pp 363\u2013369","DOI":"10.1109\/ISORC.2008.25"},{"key":"70_CR51","doi-asserted-by":"publisher","first-page":"884","DOI":"10.1016\/j.procs.2015.02.158","volume":"46","author":"VG Lekshmy","year":"2015","unstructured":"Lekshmy VG, Bhaskar J (2015) Programming smart environments using $$\\pi $$ \u03c0 -calculus. Procedia Comput Sci 46:884\u2013891","journal-title":"Procedia Comput Sci"},{"key":"70_CR52","doi-asserted-by":"crossref","unstructured":"Lenzen W (2004) Calculus Universalis. Studien zur Logik von GW Leibniz, Mentis, Paderborn","DOI":"10.30965\/9783969757703"},{"key":"70_CR53","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 (2009) A brief account of runtime verification. J Logic Algebraic Program 78:293\u2013303","journal-title":"J Logic Algebraic Program"},{"issue":"2","key":"70_CR54","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"HJ Levesque","year":"1987","unstructured":"Levesque HJ, Brachman RJ (1987) Expressiveness and tractability in knowledge representation and reasoning. Comput Intel 3(2):78\u201393","journal-title":"Comput Intel"},{"issue":"5","key":"70_CR55","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1145\/55483.55496","volume":"17","author":"FJ Lin","year":"1987","unstructured":"Lin FJ, Chu P, Liu MT (1987) Protocol verification using reachability analysis: the state space explosion problem and relief strategies. ACM SIGCOMM Comput Commun Rev 17(5):126\u2013135","journal-title":"ACM SIGCOMM Comput Commun Rev"},{"issue":"3","key":"70_CR56","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/s10676-017-9436-2","volume":"19","author":"Hin-Yan Liu","year":"2017","unstructured":"Liu HY (2017) Irresponsibilities, inequalities and injustice for autonomous vehicles. Ethics Inf Technol 19(3):193\u2013207. https:\/\/doi.org\/10.1007\/s10676-017-9436-2","journal-title":"Ethics and Information Technology"},{"issue":"1","key":"70_CR57","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1026176900459","volume":"75","author":"A Lomuscio","year":"2003","unstructured":"Lomuscio A, Sergot M (2003) Deontic interpreted systems. Studia Logica 75(1):63\u201392","journal-title":"Studia Logica"},{"key":"70_CR58","doi-asserted-by":"crossref","unstructured":"Lomuscio A, Qu H, Raimondi F (2009) Mcmas: A model checker for the verification of multi-agent systems. In: International conference on computer aided verification. Springer, pp 682\u2013688","DOI":"10.1007\/978-3-642-02658-4_55"},{"issue":"3","key":"70_CR59","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1109\/TRO.2015.2418592","volume":"31","author":"DM Lyons","year":"2015","unstructured":"Lyons DM, Arkin RC, Jiang S, Liu TM, Nirmal P (2015) Performance verification for behavior-based robot missions. IEEE Trans Robot 31(3):619\u2013636","journal-title":"IEEE Trans Robot"},{"issue":"1","key":"70_CR60","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s40860-017-0040-3","volume":"3","author":"Gallardo M Mar del","year":"2017","unstructured":"del Mar Gallardo M, Lavado L, Panizo L, Titolo L (2017) A constraint-based language for modelling intelligent environments. J Reliab Intell Environ 3(1):55\u201379","journal-title":"J Reliab Intell Environ"},{"key":"70_CR61","doi-asserted-by":"publisher","unstructured":"Merola L (2006) The COTS software obsolescence threat. In: Fifth international conference on commercial-off-the-Shelf (COTS)-based software systems (ICCBSS\u201905), pp 127\u2013133. https:\/\/doi.org\/10.1109\/ICCBSS.2006.29","DOI":"10.1109\/ICCBSS.2006.29"},{"key":"70_CR62","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/j.entcs.2005.12.112","volume":"162","author":"R Milner","year":"2006","unstructured":"Milner R (2006a) Pervasive process calculus. Electron Notes Theoret Comput Sci 162:255\u2013259","journal-title":"Electron Notes Theoret Comput Sci"},{"issue":"4","key":"70_CR63","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1093\/comjnl\/bxl015","volume":"49","author":"R Milner","year":"2006","unstructured":"Milner R (2006b) Ubiquitous computing: shall we understand it? Comput J 49(4):383\u2013389","journal-title":"Comput J"},{"key":"70_CR64","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2008.04.002","volume":"209","author":"R Milner","year":"2008","unstructured":"Milner R (2008) Bigraphs and their algebra. Electron Notes Theoret Comput Sci 209:5\u201319","journal-title":"Electron Notes Theoret Comput Sci"},{"key":"70_CR65","volume-title":"G\u00f6del\u2019s proof","author":"E Nagel","year":"2001","unstructured":"Nagel E, Newman JR, Hofstadter DR (2001) G\u00f6del\u2019s proof. New York University Press, New York"},{"key":"70_CR66","unstructured":"Nardi D, Brachman RJ (2002) An introduction to description logics. In: McGuinness D, Nardi D, Patel-Schneider P (eds) F Baader DC. Description Logic Handbook. Cambridge University Press, Cambridge, pp 5\u201344"},{"key":"70_CR67","unstructured":"National Transportation Safety Board (2017) Collision between a car operating with automated vehicle control systems and a tractor-semitrailer truck near williston, florida may 7, (2016) Highway Accident Report NTSB\/HAR-17\/02. National Transportation Safety Board, Washington, DC"},{"key":"70_CR68","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511800481","volume-title":"Algorithmic game theory","author":"N Nisan","year":"2007","unstructured":"Nisan N, Roughgarden T, Tardos E, Vazirani VV (2007) Algorithmic game theory, vol 1. Cambridge University Press, Cambridge"},{"key":"70_CR69","volume-title":"Fuzzy control","author":"KM Passino","year":"1998","unstructured":"Passino KM, Yurkovich S, Reinfrank M (1998) Fuzzy control. Addison-Wesley, USA"},{"key":"70_CR70","doi-asserted-by":"crossref","unstructured":"Prior A (1968) now. Nous 2:101\u2013119","DOI":"10.2307\/2214699"},{"key":"70_CR71","doi-asserted-by":"crossref","unstructured":"Rajkumar RR, Lee I, Sha L, Stankovic J (2010) Cyber-physical systems: the next computing revolution. In: Proceedings of the 47th design automation conference. ACM, pp 731\u2013736","DOI":"10.1145\/1837274.1837461"},{"key":"70_CR72","unstructured":"Randell D, Cui Z, Cohn A (1992) A spatial logic based on region and connection. In: Knowledge representation and reasoning. Morgan Kaufmann, pp 165\u2013176"},{"key":"70_CR73","doi-asserted-by":"crossref","unstructured":"Ranganathan A, Campbell RH (2008) Provably correct pervasive computing environments. In: PerCom, pp 160\u2013169","DOI":"10.1109\/PERCOM.2008.116"},{"key":"70_CR74","unstructured":"Schmidtke HR (2016) Granular mereogeometry. In: Ferrario R, Kuhn W (eds) Formal ontology in information systems. In: Proceedings of the 9th international conference (FOIS 2016), IOS Press, Frontiers in Artificial Intelligence and Applications, vol 283, pp 81\u201394"},{"key":"70_CR75","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1016\/j.cogsys.2018.09.008","volume":"52","author":"Hedda R. Schmidtke","year":"2018","unstructured":"Schmidtke HR (2018) Logical lateration\u2014a cognitive systems experiment towards a new approach to the grounding problem. Cognit Syst Res. https:\/\/doi.org\/10.1016\/j.cogsys.2018.09.008","journal-title":"Cognitive Systems Research"},{"key":"70_CR76","unstructured":"Schmidtke HR, Beigl M (2011) Distributed spatial reasoning for wireless sensor networks. In: Modeling and using context. Springer, pp 264\u2013277"},{"key":"70_CR77","unstructured":"Schmidtke HR, Woo W (2007) A size-based qualitative approach to the representation of spatial granularity. In: Veloso MM (ed) Twentieth international joint conference on artificial intelligence, pp 563\u2013568"},{"key":"70_CR78","unstructured":"Schmidtke HR, Woo W (2008) Partial ordering constraints for representations of context in ambient intelligence applications. In: Villadsen J, Christiansen H (eds) Constraints and language processing, pp 61\u201375"},{"key":"70_CR79","unstructured":"Schmidtke HR, Woo W (2009) Towards ontology-based formal verification methods for context aware systems. In: Tokuda H, Beigl M, Brush A, Friday A, Tobe Y (eds) Pervasive 2009. Springer, pp 309\u2013326"},{"issue":"5","key":"70_CR80","doi-asserted-by":"publisher","first-page":"589","DOI":"10.3166\/ria.22.589-608","volume":"22","author":"HR Schmidtke","year":"2008","unstructured":"Schmidtke HR, Hong D, Woo W (2008) Reasoning about models of context: A context-oriented logical language for knowledge-based context-aware applications. Revue d\u2019Intelligence Artificielle 22(5):589\u2013608","journal-title":"Revue d\u2019Intelligence Artificielle"},{"issue":"4","key":"70_CR81","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1177\/0018720816644364","volume":"58","author":"TB Sheridan","year":"2016","unstructured":"Sheridan TB (2016) Human-robot interaction: status and challenges. Hum Factors 58(4):525\u2013532","journal-title":"Hum Factors"},{"issue":"1","key":"70_CR82","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1008319631231","volume":"7","author":"MP Singh","year":"1999","unstructured":"Singh MP (1999) An ontology for commitments in multiagent systems. Artif Intell Law 7(1):97\u2013113","journal-title":"Artif Intell Law"},{"key":"70_CR83","unstructured":"Srzednicki JJ, Stachniak Z (eds) (2012) Le\u015bniewski\u2019s Systems Protothetic, Nijhoff International Philosophy Series, vol 54. Springer, Netherlands"},{"issue":"1","key":"70_CR84","doi-asserted-by":"publisher","first-page":"44","DOI":"10.3846\/16484142.2014.913535","volume":"32","author":"Rafa\u0142 Stanis\u0142aw Jurecki","year":"2014","unstructured":"Stanis\u0142aw Jurecki R, Lech Sta\u0144czyk T, Jacek Ja\u015bkiewicz M (2017) Driver\u2019s reaction time in a simulated, complex road incident. Transport 32(1):44\u201354","journal-title":"Transport"},{"key":"70_CR85","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1093\/acprof:oso\/9780199217274.003.0012","volume-title":"Symbols and EmbodimentDebates on meaning and cognition","author":"Luc Steels","year":"2008","unstructured":"Steels L (2008) The symbol grounding problem has been solved. so what\u2019s next. Symbols and embodiment: Debates on meaning and cognition pp 223\u2013244"},{"key":"70_CR86","doi-asserted-by":"crossref","unstructured":"Steinfeld A, Fong T, Kaber D, Lewis M, Scholtz J, Schultz A, Goodrich M (2006) Common metrics for human-robot interaction. In: Proceedings of the 1st ACM SIGCHI\/SIGART conference on Human-robot interaction. ACM, pp 33\u201340","DOI":"10.1145\/1121241.1121249"},{"key":"70_CR87","unstructured":"Tarski A (1956) Foundations of the geometry of solids. In: Logic, Semantics, Metamathematics. Papers from 1923 to 1938. Clarendon, Oxford, pp 24\u201329"},{"key":"70_CR88","unstructured":"UN General Assembly (1948) Universal declaration of human rights http:\/\/www.un.org\/en\/universal-declaration-human-rights\/ . Accessed 16 Apr 2018"},{"issue":"3","key":"70_CR89","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1016\/S1389-0417(02)00051-7","volume":"3","author":"P Vogt","year":"2002","unstructured":"Vogt P (2002) The physical symbol grounding problem. Cognit Syst Res 3(3):429\u2013457","journal-title":"Cognit Syst Res"},{"issue":"6","key":"70_CR90","doi-asserted-by":"publisher","first-page":"eaan6080","DOI":"10.1126\/scirobotics.aan6080","volume":"2","author":"Sandra Wachter","year":"2017","unstructured":"Wachter S, Mittelstadt B, Floridi L (2017) Transparent, explainable, and accountable ai for robotics. Sci Robot 2(6)","journal-title":"Science Robotics"},{"issue":"3","key":"70_CR91","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1109\/87.998034","volume":"10","author":"GC Walsh","year":"2002","unstructured":"Walsh GC, Ye H, Bushnell LG (2002) Stability analysis of networked control systems. IEEE Trans Control Syst Technol 10(3):438\u2013446","journal-title":"IEEE Trans Control Syst Technol"},{"issue":"1","key":"70_CR92","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1177\/0963721409359302","volume":"19","author":"A Waytz","year":"2010","unstructured":"Waytz A, Epley N, Cacioppo JT (2010) Social cognition unbound: Insights into anthropomorphism and dehumanization. Curr Direct Psychol Sci 19(1):58\u201362","journal-title":"Curr Direct Psychol Sci"},{"key":"70_CR93","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.jesp.2014.01.005","volume":"52","author":"A Waytz","year":"2014","unstructured":"Waytz A, Heafner J, Epley N (2014) The mind in the machine: anthropomorphism increases trust in an autonomous vehicle. J Exp Soc Psychol 52:113\u2013117","journal-title":"J Exp Soc Psychol"},{"key":"70_CR94","unstructured":"Weis T, Becker C, Br\u00e4ndle A (2006) Towards a programming paradigm for pervasive applications based on the ambient calculus. In: Workshop on combining theory and systems building in pervasive computing"},{"key":"70_CR95","unstructured":"Wessel M (2001) Obstacles on the way to qualitative spatial reasoning with description logics: some undecidability results. Descrip Logics 49"},{"key":"70_CR96","unstructured":"Whitehead AN, Russell B (1912) Principia mathematica. University Press,"},{"issue":"1","key":"70_CR97","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1504\/IJMIC.2006.008645","volume":"1","author":"AF Winfield","year":"2006","unstructured":"Winfield AF, Nembrini J (2006) Safety in numbers: fault-tolerance in robot swarms. Int J Modell Identif Control 1(1):30\u201337","journal-title":"Int J Modell Identif Control"},{"issue":"1","key":"70_CR98","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1049\/ip-sen:19971026","volume":"144","author":"M. Wooldridge","year":"1997","unstructured":"Wooldridge M (1997) Agent-based software engineering. IEE Proc Softw 144(1):26\u201337","journal-title":"IEE Proceedings - Software Engineering"}],"container-title":["Journal of Reliable Intelligent Environments"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s40860-018-0070-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-018-0070-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-018-0070-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T15:17:56Z","timestamp":1720711076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s40860-018-0070-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,19]]},"references-count":98,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["70"],"URL":"https:\/\/doi.org\/10.1007\/s40860-018-0070-5","relation":{},"ISSN":["2199-4668","2199-4676"],"issn-type":[{"value":"2199-4668","type":"print"},{"value":"2199-4676","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,10,19]]},"assertion":[{"value":"16 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 October 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 October 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}