Login / Signup
Sergey M. Staroletov
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 12
Top Topics
Temporal Logic
Model Checking
Floating Point Arithmetic
Anomaly Detection
Top Venues
FRUCT
Autom. Control. Comput. Sci.
CoRR
RTCSA
</>
Publications
</>