Login / Signup
Ahmet Semi Asarkaya
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Automata Theoretic
Dynamic Constraints
Temporal Logic
Bounded Model Checking
Top Venues
CoRR
IROS
</>
Publications
</>
Derya Aksaray
,
Yasin Yazicioglu
,
Ahmet Semi Asarkaya
Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning.
CoRR
(2021)
Derya Aksaray
,
Yasin Yazicioglu
,
Ahmet Semi Asarkaya
Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning.
IROS
(2021)