Login / Signup
Nikolay V. Shilov
ORCID
Publication Activity (10 Years)
Years Active: 1992-2021
Publications (10 Years): 9
Top Topics
Formal Methods
Mathematical Functions
Square Root
Bdi Agents
Top Venues
Autom. Control. Comput. Sci.
CoRR
FMFun
FISEE
</>
Publications
</>