Login / Signup
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems.
Ben Wooding
Viacheslav Horbanov
Abolfazl Lavaei
Published in:
CoRR (2024)
Keyphrases
</>
data sets
management system
expert systems
computer systems
linear systems
databases