{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:16Z","timestamp":1750306276693,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,14]],"date-time":"2016-05-14T00:00:00Z","timestamp":1463184000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,14]]},"DOI":"10.1145\/2897035.2897040","type":"proceedings-article","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T22:58:31Z","timestamp":1464130711000},"page":"54-57","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Software engineering for distributed autonomous real-time systems"],"prefix":"10.1145","author":[{"given":"Lenz","family":"Belzner","sequence":"first","affiliation":[{"name":"LMU Munich"}]},{"given":"Michael Till","family":"Beck","sequence":"additional","affiliation":[{"name":"LMU Munich"}]},{"given":"Thomas","family":"Gabor","sequence":"additional","affiliation":[{"name":"LMU Munich"}]},{"given":"Harald","family":"Roelle","sequence":"additional","affiliation":[{"name":"Siemens AG M\u00fcnchen"}]},{"given":"Horst","family":"Sauer","sequence":"additional","affiliation":[{"name":"Siemens AG M\u00fcnchen"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Software-Intensive Systems and New Computing Paradigms: Challenges and Visions","author":"Banatre J.-P.","year":"2008","unstructured":"J.-P. Banatre and M. H\u00f6lzl , Software-Intensive Systems and New Computing Paradigms: Challenges and Visions . Springer , 2008 , vol. 5380 . J.-P. Banatre and M. H\u00f6lzl, Software-Intensive Systems and New Computing Paradigms: Challenges and Visions. Springer, 2008, vol. 5380."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/978-3-319-16310-9"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/s11424-006-0001-z"},{"key":"e_1_3_2_1_4_1","volume-title":"The invariant refinement method,\" in Software Engineering for Collective Autonomic Systems","author":"Bure\u0161 T.","year":"2015","unstructured":"T. Bure\u0161 , I. Gerostathopoulos , P. Hnetynka , J. Keznikl , M. Kit , and F. Plasil , \" The invariant refinement method,\" in Software Engineering for Collective Autonomic Systems . Springer , 2015 . T. Bure\u0161, I. Gerostathopoulos, P. Hnetynka, J. Keznikl, M. Kit, and F. Plasil, \"The invariant refinement method,\" in Software Engineering for Collective Autonomic Systems. Springer, 2015."},{"key":"e_1_3_2_1_5_1","volume-title":"Collective autonomic systems: Towards engineering principles and their foundations","author":"Belzner L.","year":"2015","unstructured":"L. Belzner , M. H\u00f6lzl , N. Koch , and M. Wirsing , \" Collective autonomic systems: Towards engineering principles and their foundations ,\" 2015 , submitted for publication. L. Belzner, M. H\u00f6lzl, N. Koch, and M. Wirsing, \"Collective autonomic systems: Towards engineering principles and their foundations,\" 2015, submitted for publication."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1162\/neco.2006.18.7.1527"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"1692","DOI":"10.21437\/Interspeech.2010-487","article-title":"Binary coding of speech spectrograms using a deep auto-encoder","author":"Deng L.","year":"2010","unstructured":"L. Deng , M. L. Seltzer , D. Yu , A. Acero , A.-r. Mohamed , and G. E. Hinton , \" Binary coding of speech spectrograms using a deep auto-encoder .\" in Interspeech. Citeseer , 2010 , pp. 1692 -- 1695 . L. Deng, M. L. Seltzer, D. Yu, A. Acero, A.-r. Mohamed, and G. E. Hinton, \"Binary coding of speech spectrograms using a deep auto-encoder.\" in Interspeech. Citeseer, 2010, pp. 1692--1695.","journal-title":"Interspeech. Citeseer"},{"key":"e_1_3_2_1_8_1","volume-title":"Decision forests: A unified framework for classification, regression, density estimation, manifold learning and semi-supervised learning","author":"Criminisi A.","year":"2012","unstructured":"A. Criminisi , J. Shotton , and E. Konukoglu , Decision forests: A unified framework for classification, regression, density estimation, manifold learning and semi-supervised learning . Now Publishers , 2012 . A. Criminisi, J. Shotton, and E. Konukoglu, Decision forests: A unified framework for classification, regression, density estimation, manifold learning and semi-supervised learning. Now Publishers, 2012."},{"key":"e_1_3_2_1_9_1","volume-title":"Gaussian processes for machine learning","author":"Rasmussen C. E.","year":"2006","unstructured":"C. E. Rasmussen , Gaussian processes for machine learning . MIT Press , 2006 . C. E. Rasmussen, Gaussian processes for machine learning. MIT Press, 2006."},{"key":"e_1_3_2_1_10_1","volume-title":"Pattern recognition and machine learning","author":"Bishop C. M.","year":"2006","unstructured":"C. M. Bishop , Pattern recognition and machine learning . Springer , 2006 . C. M. Bishop, Pattern recognition and machine learning. Springer, 2006."},{"key":"e_1_3_2_1_11_1","volume-title":"Information theory, inference and learning algorithms","author":"MacKay D.","year":"2003","unstructured":"D. MacKay , Information theory, inference and learning algorithms . Cambridge University Press , 2003 . D. MacKay, Information theory, inference and learning algorithms. Cambridge University Press, 2003."},{"issue":"1","key":"e_1_3_2_1_12_1","article-title":"A survey of monte carlo tree search methods","volume":"4","author":"Browne C. B.","year":"2012","unstructured":"C. B. Browne , E. Powley , D. Whitehouse , S. M. Lucas , P. Cowling , P. Rohlfshagen , S. Tavener , D. Perez , S. Samothrakis , S. Colton et al ., \" A survey of monte carlo tree search methods ,\" IEEE Trans. on Comp. Intelligence and AI in Games , vol. 4 , no. 1 , 2012 . C. B. Browne, E. Powley, D. Whitehouse, S. M. Lucas, P. Cowling, P. Rohlfshagen, S. Tavener, D. Perez, S. Samothrakis, S. Colton et al., \"A survey of monte carlo tree search methods,\" IEEE Trans. on Comp. Intelligence and AI in Games, vol. 4, no. 1, 2012.","journal-title":"IEEE Trans. on Comp. Intelligence and AI in Games"},{"key":"e_1_3_2_1_13_1","volume-title":"Bellevue","author":"Weinstein A.","year":"2013","unstructured":"A. Weinstein and M. L. Littman , \" Open-loop planning in large-scale stochastic domains,\" in Proc. of the 27th AAAI Conference on Artificial Intelligence, July 14--18, 2013 , Bellevue , Washington, USA , 2013 . A. Weinstein and M. L. Littman, \"Open-loop planning in large-scale stochastic domains,\" in Proc. of the 27th AAAI Conference on Artificial Intelligence, July 14--18, 2013, Bellevue, Washington, USA, 2013."},{"key":"e_1_3_2_1_14_1","first-page":"1","volume-title":"Conf., FACS 2015","author":"Belzner L.","year":"2015","unstructured":"L. Belzner , R. Hennicker , and M. Wirsing , \" OnPlan: A framework for simulation-based online planning,\" in Formal Aspects of Component Software - 12th Int . Conf., FACS 2015 , Niter\u00f3i, Brazil, October 14--16 , 2015 , Revised Selected Papers, 2015, pp. 1 -- 30 . L. Belzner, R. Hennicker, and M. Wirsing, \"OnPlan: A framework for simulation-based online planning,\" in Formal Aspects of Component Software - 12th Int. Conf., FACS 2015, Niter\u00f3i, Brazil, October 14--16, 2015, Revised Selected Papers, 2015, pp. 1--30."},{"key":"e_1_3_2_1_15_1","volume-title":"Importance sampling: Applications in communications and detection","author":"Srinivasan R.","year":"2013","unstructured":"R. Srinivasan , Importance sampling: Applications in communications and detection . Springer , 2013 . R. Srinivasan, Importance sampling: Applications in communications and detection. Springer, 2013."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1002\/rnc.1687"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.5555\/2821404.2821411"},{"key":"e_1_3_2_1_18_1","volume-title":"Conf. on Autonomous Agents and Multiagent Systems, AAMAS 2015","author":"Claes D.","year":"2015","unstructured":"D. Claes , P. Robbel , F. A. Oliehoek , K. Tuyls , D. Hennes , and W. van der Hoek, \"Effective approximations for multi-robot coordination in spatially distributed tasks,\" in Proc. of the 2015 Int . Conf. on Autonomous Agents and Multiagent Systems, AAMAS 2015 , Istanbul, Turkey, May 4--8 , 2015 , 2015. D. Claes, P. Robbel, F. A. Oliehoek, K. Tuyls, D. Hennes, and W. van der Hoek, \"Effective approximations for multi-robot coordination in spatially distributed tasks,\" in Proc. of the 2015 Int. Conf. on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4--8, 2015, 2015."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.5555\/1855030"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1109\/WETICE.2012.48"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1002\/stvr.v14:2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1016\/j.jcp.2012.08.013"}],"event":{"sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\DATC IEEE Computer Society","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"acronym":"ICSE '16","name":"ICSE '16: 38th International Conference on Software Engineering","location":"Austin Texas"},"container-title":["Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897035.2897040","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2897035.2897040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:38:47Z","timestamp":1750221527000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897035.2897040"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":22,"alternative-id":["10.1145\/2897035.2897040","10.1145\/2897035"],"URL":"https:\/\/doi.org\/10.1145\/2897035.2897040","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}