Login / Signup
Ayrat Khalimov
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Eigenvalue Problems
Preprocessing
Information Systems
Texture Synthesis
Top Venues
CoRR
TACAS (1)
</>
Publications
</>
Rüdiger Ehlers
,
Ayrat Khalimov
Fully Generalized Reactivity(1) Synthesis.
TACAS (1)
(2024)
Rüdiger Ehlers
,
Ayrat Khalimov
Fully Generalized Reactivity(1) Synthesis.
CoRR
(2024)