http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots

Leofante, Francesco ; Vuotto, Simone ; Ábrahám, Erika^RWTH* ; Tacchella, Armando (Corresponding author) ; Jansen, Nils

In
Leveraging applications of formal methods, verification and validation : 7th international symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) . - Part 1: Foundational techniques, Seiten/Artikel-Nr: 496-514

2016

Konferenz/Event:7. International Symposium on Leveraging Applications of Formal Methods, Verification and Validation , Corfu , Greece , ISoLA 2016 , 2016-10-10 - 2016-10-14

ImpressumCham : Springer International Publishing

Umfang496-514

ISBN978-3-319-47165-5, 978-3-319-47166-2

ReiheLecture Notes in Computer Science ; 9952

Weitere Reihe: Springer eBook Collection : Computer Science

Online
DOI: 10.1007/978-3-319-47166-2_34
10.1007/978-3-319-47166-2_34

Einrichtungen

1. Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)
2. Fachgruppe Informatik (120000)

Thematische Einordnung (Klassifikation)
DDC: 004

Dokumenttyp
Contribution to a conference proceedings/Contribution to a book

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
WOS Core Collection: WOS:000389939100034
SCOPUS: SCOPUS:2-s2.0-84993990117

Interne Identnummern
RWTH-2017-00561
Datensatz-ID: 682004

Beteiligte Länder
Germany, Italy, USA