Amanote Research
Register
Sign In
ARCH-COMP19 Category Report: Continuous and Hybrid Systems With Linear Continuous Dynamics
doi 10.29007/bj1w
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Matthias Althoff
Stanley Bak
Marcelo Forets
Goran Frehse
Niklas Kochdumper
Rajarshi Ray
Christian Schilling
Stefan Schupp
Publisher
EasyChair