ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

Althoff, Matthias (Corresponding author) ; Bak, Stanley (Corresponding author) ; Chen, Xin (Corresponding author) ; Fan, Chuchu (Corresponding author) ; Forets, Marcelo (Corresponding author) ; Frehse, Goran (Corresponding author) ; Kochdumper, Niklas (Corresponding author) ; Li, Yangge (Corresponding author) ; Mitra, Sayan (Corresponding author) ; Ray, Rajarshi (Corresponding author) ; Schilling, Christian (Corresponding author) ; Schupp, Stefan (Corresponding author)^RWTH*

In
ARCH18 : 5th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse, Seiten/Artikel-Nr: 23-52

2018

Konferenz/Event:5. International Workshop on Applied Verification of Continuous and Hybrid Systems , Oxford , UK , ARCH18 , 2018-07-13 - 2018-07-13

Impressum[Manchester] : EasyChair

Umfang23-52

ReiheEPiC series in computing ; 54

Online
DOI: 10.29007/73mb
10.29007/73mb

Einrichtungen

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Interne Identnummern
RWTH-2021-02128
Datensatz-ID: 814244

Beteiligte Länder
France, Germany, India, USA, Uruguay

Record created 2021-02-23, last modified 2026-04-28

Similar records

Rate this document:

(Not yet reviewed)

h1