{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T23:40:09Z","timestamp":1744328409196,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642347801"},{"type":"electronic","value":"9783642347818"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34781-8_6","type":"book-chapter","created":{"date-parts":[[2012,10,11]],"date-time":"2012-10-11T15:20:37Z","timestamp":1349968837000},"page":"76-90","source":"Crossref","is-referenced-by-count":9,"title":["Adaptive Autonomous Systems \u2013 From the System\u2019s Architecture to Testing"],"prefix":"10.1007","author":[{"given":"Franz","family":"Wotawa","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Beizer, B.: Software Testing Techniques. Van Nostrand Reinhold (1990)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Daigle, M., Koutsoukos, X., Biswas, G.: Distributed diagnosis of coupled mobile robots. In: IEEE International Conference on Robotics and Automation, pp. 3787\u20133794 (2006)","DOI":"10.1109\/ROBOT.2006.1642281"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R. Davis","year":"1984","unstructured":"Davis, R.: Diagnostic reasoning based on structure and behavior. Artificial Intelligence\u00a024, 347\u2013410 (1984)","journal-title":"Artificial Intelligence"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Davis, R., Hamscher, W.: Model-based reasoning: Troubleshooting. In: Shrobe, H.E. (ed.) Exploring Artificial Intelligence, ch.8, pp. 297\u2013346. Morgan Kaufmann (1988)","DOI":"10.1016\/B978-0-934613-67-5.50012-5"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J.: An assumption-based TMS. Artificial Intelligence\u00a028, 127\u2013162 (1986)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"6_CR6","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence\u00a032(1), 97\u2013130 (1987)","journal-title":"Artificial Intelligence"},{"key":"6_CR7","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann (2003)"},{"key":"6_CR8","unstructured":"El Fattah, Y., Dechter, R.: Diagnosing tree-decomposable circuits. In: Proceedings 14th International Joint Conf. on Artificial Intelligence, pp. 1742\u20131748 (1995)"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence\u00a02, 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"#cr-split#-6_CR10.1","unstructured":"Friedrich, G., Gottlob, G., Nejdl, W.: Physical impossibility instead of fault models. In: Proceedings of the National Conference on Artificial Intelligence (AAAI), Boston, pp. 331-336 (August 1990)"},{"key":"#cr-split#-6_CR10.2","unstructured":"also appears in Readings in Model-Based Diagnosis. Morgan Kaufmann (1992)"},{"key":"6_CR11","unstructured":"Fr\u00f6hlich, P., Nejdl, W.: A Static Model-Based Engine for Model-Based Reasoning. In: Proceedings 15th International Joint Conf. on Artificial Intelligence, Nagoya, Japan (August 1997)"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R. Greiner","year":"1989","unstructured":"Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Reiter\u2019s theory of diagnosis. Artificial Intelligence\u00a041(1), 79\u201388 (1989)","journal-title":"Artificial Intelligence"},{"key":"6_CR13","unstructured":"Gspandl, S., Pill, I.H., Reip, M., Steinbauer, G., Ferrein, A.: Belief management for high-level robot programs. In: Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI (2011)"},{"issue":"1","key":"6_CR14","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10846-006-9102-0","volume":"48","author":"M. Hofbaur","year":"2007","unstructured":"Hofbaur, M., K\u00f6b, J., Steinbauer, G., Wotawa, F.: Improving robustness of mobile robots using model-based reasoning. Journal of Intelligent & Robotic Systems\u00a048(1), 37\u201354 (2007)","journal-title":"Journal of Intelligent & Robotic Systems"},{"issue":"8-9","key":"6_CR15","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1016\/j.artint.2007.03.005","volume":"171","author":"M. Kalech","year":"2007","unstructured":"Kalech, M., Kaminka, G.A.: On the design of coordination diagnosis algorithms for teams of situated agents. Artificial Intelligence\u00a0171(8-9), 491\u2013513 (2007)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"6_CR16","first-page":"313","volume":"19","author":"R. Micalizio","year":"2006","unstructured":"Micalizio, R., Torasso, P., Torta, G.: On-line monitoring and diagnosis of a team of service robots: A model-based approach. AI Communications\u00a019(4), 313\u2013340 (2006)","journal-title":"AI Communications"},{"key":"6_CR17","unstructured":"Rajan, K., Bernard, D.E., Dorais, G., Gamble, E.B., Kanefsky, B., Kurien, J., Millar, W., Muscettola, N., Nayak, P.P., Rouquette, N.F., Smith, B.D., Taylor, W., Tung, Y.: Remote agent: An autonomous control system for the new millennium. In: 14th European Conference on Artificial Intelligence (ECAI), pp. 726\u2013730 (2000)"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Steinbauer, G., M\u00f6rth, M., Wotawa, F.: Real-time diagnosis and repair of faults of robot control software. In: RoboCup International Symposium, pp. 13\u201323 (2005)","DOI":"10.1007\/11780519_2"},{"key":"6_CR20","unstructured":"Steinbauer, G., Wotawa, F.: Evaluating the robustness of the perception-decision-execution cycle of autonomous robots. In: Proceedings of the ICAR Workshop on Performance Measures for Quantifying Safe and Reliable Operation of Professional Service Robots in Unstructured, Dynamic Environments (2011)"},{"issue":"10","key":"6_CR21","doi-asserted-by":"publisher","first-page":"1315","DOI":"10.1163\/156855309X462600","volume":"23","author":"G. Steinbauer","year":"2009","unstructured":"Steinbauer, G., Wotawa, F.: Robust plan execution using model-based reasoning. Advanced Robotics\u00a023(10), 1315\u20131326 (2009)","journal-title":"Advanced Robotics"},{"key":"6_CR22","unstructured":"Stumptner, M., Wotawa, F.: Diagnosing Tree-Structured Systems. In: Proceedings 15th International Joint Conf. on Artificial Intelligence, Nagoya, Japan (1997)"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Weber, J., Wotawa, F.: Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot. Applied intelligence (2008)","DOI":"10.1007\/s10489-008-0143-x"},{"key":"6_CR24","unstructured":"Williams, B.C., Pandurang Nayak, P.: Immobile robots \u2013 ai in the new millennium. AI Magazine, 16\u201335 (1996)"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Wotawa, F., Nica, M., Aichernig, B.K.: Generating distinguishing tests using the minion constraint solver. In: CSTVA 2010: Proceedings of the 2nd Workshop on Constraints for Testing, Verification and Analysis. IEEE (2010)","DOI":"10.1109\/ICSTW.2010.11"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34781-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T23:01:27Z","timestamp":1744326087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34781-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642347801","9783642347818"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34781-8_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}