Pub Date : 2014-10-20DOI: 10.1007/978-3-319-11900-7_39
M. O'Brien, R. Arkin, D. Harrington, D. Lyons, Shu Jiang
{"title":"Automatic Verification of Autonomous Robot Missions","authors":"M. O'Brien, R. Arkin, D. Harrington, D. Lyons, Shu Jiang","doi":"10.1007/978-3-319-11900-7_39","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_39","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124911741","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-10-20DOI: 10.1007/978-3-319-11900-7_32
M. Reichardt, Gregor Zolynski, M. Arndt, K. Berns
{"title":"On the Benefits of Component-Defined Real-Time Visualization of Robotics Software","authors":"M. Reichardt, Gregor Zolynski, M. Arndt, K. Berns","doi":"10.1007/978-3-319-11900-7_32","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_32","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126322018","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-10-20DOI: 10.1007/978-3-319-11900-7_17
Arne Nordmann, N. Hochgeschwender, S. Wrede
{"title":"A Survey on Domain-Specific Languages in Robotics","authors":"Arne Nordmann, N. Hochgeschwender, S. Wrede","doi":"10.1007/978-3-319-11900-7_17","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_17","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131312507","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-10-20DOI: 10.1007/978-3-319-11900-7_2
Séverin Lemaignan, Marc Hanheide, Michael Karg, Harmish Khambhaita, Lars Kunze, Florian Lier, I. Lütkebohle, Grégoire Milliez
{"title":"Simulation and HRI Recent Perspectives with the MORSE Simulator","authors":"Séverin Lemaignan, Marc Hanheide, Michael Karg, Harmish Khambhaita, Lars Kunze, Florian Lier, I. Lütkebohle, Grégoire Milliez","doi":"10.1007/978-3-319-11900-7_2","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_2","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124435614","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-10-20DOI: 10.1007/978-3-319-11900-7_7
G. Bardaro, D. Cucci, L. Bascetta, M. Matteucci
{"title":"A Simulation Based Architecture for the Development of an Autonomous All Terrain Vehicle","authors":"G. Bardaro, D. Cucci, L. Bascetta, M. Matteucci","doi":"10.1007/978-3-319-11900-7_7","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_7","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124410690","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-10-20DOI: 10.1007/978-3-319-11900-7_8
Jacob Pørksen Buch, Johan Sund Laursen, Lars Carøe Sørensen, Lars-Peter Ellekilde, D. Kraft, U. Schultz, H. G. Petersen
{"title":"Applying Simulation and a Domain-Specific Language for an Adaptive Action Library","authors":"Jacob Pørksen Buch, Johan Sund Laursen, Lars Carøe Sørensen, Lars-Peter Ellekilde, D. Kraft, U. Schultz, H. G. Petersen","doi":"10.1007/978-3-319-11900-7_8","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_8","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"2015 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134039223","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-10-20DOI: 10.1007/978-3-319-11900-7_20
Sven Schneider, N. Hochgeschwender, G. Kraetzschmar
{"title":"Structured Design and Development of Domain-Specific Languages in Robotics","authors":"Sven Schneider, N. Hochgeschwender, G. Kraetzschmar","doi":"10.1007/978-3-319-11900-7_20","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_20","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126962485","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-10-20DOI: 10.1007/978-3-319-11900-7_43
M. Stefanczyk, Tomasz Kornuta
{"title":"Handling of Asynchronous Data Flow in Robot Perception Subsystems","authors":"M. Stefanczyk, Tomasz Kornuta","doi":"10.1007/978-3-319-11900-7_43","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_43","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121878687","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-10-20DOI: 10.1007/978-3-319-11900-7_1
James R. Taylor, Evan Drumwright, Gabriel Parmer
{"title":"Making Time Make Sense in Robotic Simulation","authors":"James R. Taylor, Evan Drumwright, Gabriel Parmer","doi":"10.1007/978-3-319-11900-7_1","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_1","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130263364","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-10-20DOI: 10.1007/978-3-319-11900-7_12
S. Chaki, J. Giampapa, David Kyle, J. Lehoczky
{"title":"Optimizing Robotic Team Performance with Probabilistic Model Checking","authors":"S. Chaki, J. Giampapa, David Kyle, J. Lehoczky","doi":"10.1007/978-3-319-11900-7_12","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_12","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127722733","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}