Login / Signup
Salar Moarref
Publication Activity (10 Years)
Years Active: 2012-2020
Publications (10 Years): 11
Top Topics
Markov Decision Process
Automata Theoretic
Temporal Logic
Formal Specification Language
Top Venues
CoRR
HSCC
TACAS
ACM Trans. Embed. Comput. Syst.
</>
Publications
</>