PulseAugur
LIVE 22:21:24
ENTITY satisfiability modulo theories

satisfiability modulo theories

PulseAugur coverage of satisfiability modulo theories — every cluster mentioning satisfiability modulo theories 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…