ENTITY
STL-GO
STL-GO
PulseAugur coverage of STL-GO — every cluster mentioning STL-GO across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
New STL-GO methods tackle complex multi-agent planning challenges
Researchers have developed two new methods, one based on mixed-integer programming (MIP) and another on satisfiability modulo theory (SMT), to address multi-agent planning problems with complex spatio-temporal and topol…
-
New framework developed for multi-agent spatio-temporal logic
Researchers have developed a new algebraic framework to define quantitative semantics for Spatio-Temporal Logic with Graph Operators (STL-GO). This logic extends Signal Temporal Logic (STL) for multi-agent systems by in…