Luka Zeleznik

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Positive And Negative

Hybrid Automata

Top Venues

Publications

Miriam García Soto, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik
Membership-Based Synthesis of Linear Hybrid Automata. CAV (1) (2019)