> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Simulation, Modeling, and Programming for Autonomous Robots: Automatic Verification of Autonomous Robot Missions Beteiligte: O’Brien, Matthew; Arkin, Ronald C.; Harrington, Dagan; Lyons, Damian; Jiang, Shu Erschienen: Springer International Publishing, 2014 Erschienen in: Simulation, Modeling, and Programming for Autonomous Robots (2014), Seite 462-473 Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-319-11900-7_39 ISBN: 9783319118994; 9783319119007 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: