Login / Signup
Jon Aytac
ORCID
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 4
Top Topics
Temporal Logic
Temporally Extended Goals
Probability Theory
Probabilistic Approaches
Top Venues
CoRR
LICS
ACT
</>
Publications
</>