Login / Signup
Przemyslaw Daca
Publication Activity (10 Years)
Years Active: 2014-2020
Publications (10 Years): 11
Top Topics
Markov Decision Process
Qualitative Analysis
Epistemic Logic
Formal Specification
Top Venues
CoRR
ICST
VMCAI
ACM Trans. Comput. Log.
</>
Publications
</>