Login / Signup
Viacheslav Horbanov
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Linear Systems
Databases
Top Venues
CoRR
</>
Publications
</>
Ben Wooding
,
Viacheslav Horbanov
,
Abolfazl Lavaei
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems.
CoRR
(2024)