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

Althoff, Matthias; Kochdumper, Niklas; Schilling, Christian; Forets, Marcelo; Schupp, Stefan; Bak, Stanley; Frehse, Goran; Ray, Rajarshi

doi:SCOPUS:2-s2.0-85073150012

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

Althoff, Matthias (Corresponding author) ; Bak, Stanley (Corresponding author) ; Forets, Marcelo (Corresponding author) ; Frehse, Goran (Corresponding author) ; Kochdumper, Niklas ; Ray, Rajarshi (Corresponding author) ; Schilling, Christian (Corresponding author) ; Schupp, Stefan (Corresponding author)^RWTH*

In
ARCH19 : 6th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse and Matthias Althoff, Seiten/Artikel-Nr: 14-40

2019

Konferenz/Event:6. International Workshop on Applied Verification of Continuous and Hybrid Systems , Montreal , Canada , ARCH19 , 2019-04-15 - 2019-04-15

Impressum[Manchester] : EasyChair

Umfang14-40

ReiheEPiC series in computing ; 61