Login / Signup
Marta Kwiatkowska
ORCID
Publication Activity (10 Years)
Years Active: 1995-2024
Publications (10 Years): 177
Top Topics
Markov Decision Process
Invited Paper
Model Checking
Neural Network
Top Venues
CoRR
IJCAI
Theor. Comput. Sci.
QEST
</>
Publications
</>