Alexandar Kozarev

Publication Activity (10 Years)

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

Top Topics

Partially Observable

Agent Environment

Dynamic Systems

Top Venues

Publications

Alexandar Kozarev, John F. Quindlen, Jonathan P. How, Ufuk Topcu
Case Studies in Data-Driven Verification of Dynamical Systems. HSCC (2016)