PulseAugur
LIVE 09:35:41
ENTITY Tobias Meggendorfer

Tobias Meggendorfer

PulseAugur coverage of Tobias Meggendorfer — every cluster mentioning Tobias Meggendorfer 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_06961 ·

    SemML 2.0 tool synthesizes reactive systems from LTL specifications faster

    Researchers have developed SemML 2.0, a new tool for synthesizing reactive systems from linear temporal logic (LTL) specifications. This system outperforms existing state-of-the-art tools like Strix and LtlSynt in the S…