Login / Signup
Qizhan Tam
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Transitive Closure
Reactive Systems
Temporal Logic
Formal Specification Language
Top Venues
WAFR
</>
Publications
</>
Mo Chen
,
Qizhan Tam
,
Scott C. Livingston
,
Marco Pavone
Signal Temporal Logic Meets Reachability: Connections and Applications.
WAFR
(2018)