Login / Signup
Adriel Luo
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Case Study
Discrete Event
Meta Learning
Hybrid Systems
Top Venues
ADHS
</>
Publications
</>
Brandon Bohrer
,
Adriel Luo
,
Xue An Chuang
,
André Platzer
CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation.
ADHS
(2018)