PulseAugur
LIVE 15:25:18
ENTITY Miriam Kranzlmüller

Miriam Kranzlmüller

PulseAugur coverage of Miriam Kranzlmüller — every cluster mentioning Miriam Kranzlmüller 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
RECENT · PAGE 1/1 · 1 TOTAL
  1. RESEARCH · CL_16303 ·

    New set-based training method verifies safety of dynamical systems with neural certificates

    Researchers have developed a novel set-based training method for neural barrier certificates, a technique used to formally verify the safety of dynamical systems. This approach integrates the verification process direct…