PulseAugur
LIVE 22:21:58
ENTITY k-inductive neural barrier certificates

k-inductive neural barrier certificates

PulseAugur coverage of k-inductive neural barrier certificates — every cluster mentioning k-inductive neural barrier certificates across labs, papers, and developer communities, ranked by signal.

Total · 30d
1
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL
  1. TOOL · CL_40751 ·

    New k-NBCs enhance safety for unknown nonlinear systems

    Researchers have developed k-inductive neural barrier certificates (k-NBCs) to enhance safety guarantees for nonlinear systems with unknown dynamics. This method relaxes traditional safety constraints by allowing tempor…