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

Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis

Schupp, Stefan (Corresponding author)^RWTH* ; Ábrahám, Erika^RWTH*

In
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman, Seiten/Artikel-Nr: 287-302

2018

Konferenz/Event:24. International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Thessaloniki , Greece , TACAS 2018 , 2018-04-14 - 2018-04-20

Konferenz/Event:21. European Joint Conferences on Theory and Practice of Software , Thessaloniki , Greece , ETAPS 2018 , 2018-04-14 - 2018-04-20

ImpressumCham : Springer International Publishing

Umfang287-302

ISBN978-3-319-89962-6, 978-3-319-89963-3

ReiheLecture notes in computer science ; 10806, Part 2

Weitere Reihe: Springer eBook Collection : Computer Science

Online
DOI: 10.18154/RWTH-2018-228981
DOI: 10.1007/978-3-319-89963-3_17
10.1007/978-3-319-89963-3_17
URL: http://publications.rwth-aachen.de/record/745466/files/745466.pdf
URL: http://publications.rwth-aachen.de/record/745466/files/745466.pdf?subformat=pdfa

Einrichtungen

1. Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)
2. Fachgruppe Informatik (120000)
3. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
4. Graduiertenkolleg UnRAVeL (080060)

OpenAccess:
PDF PDF (PDFA)

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85045852767
WOS Core Collection: WOS:000445822600017

Interne Identnummern
RWTH-2018-228981
Datensatz-ID: 745466

Beteiligte Länder
Germany