Login / Signup
Agnieszka Zbrzezny
ORCID
Publication Activity (10 Years)
Years Active: 2011-2021
Publications (10 Years): 2
Top Topics
Linear Temporal Logic
Extended Abstract
Model Checking
Autoregressive
Top Venues
CS&P
PRIMA
CoRR
DCAI
</>
Publications
</>