- Referenced in 1 article
- framework for capability- and situation-aware coalition formation in cooperative multi-robot systems One problem ... among the robots the formation of adequate subteams, so-called coalitions, is needed which ... framework is presented, which solves the coalition formation problem for cooperative heterogeneous multi-robot systems...
- Referenced in 14 articles
- logics K, KD, Pauly’s coalition logic, graded modal logic, and probabilistic modal logic. Logics ... axiomatisation of their semantics in a specific format. Moreover, CoLoSS is compositional: it synthesises decision...
- Referenced in 5403 articles
- The result of over 30 years of cutting...
- Referenced in 6445 articles
- Almost any workflow involves computing results, and that...
- Referenced in 13702 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 10196 articles
- R is a language and environment for statistical...
- Referenced in 102 articles
- The RelView-System is an interactive tool for...
- Referenced in 35 articles
- Verics (VerICS) is our original tool for automated...
- Referenced in 3444 articles
- UC Irvine Machine Learning Repository. We currently maintain...
- Referenced in 2804 articles
- IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
- Referenced in 727 articles
- GUROBI OPTIMIZER: State of the Art Mathematical Programming...
- Referenced in 179 articles
- Stanford Network Analysis Platform (SNAP) is a general...
- Referenced in 328 articles
- Bioconductor provides tools for the analysis and comprehension...
- Referenced in 881 articles
- The General Algebraic Modeling System (GAMS) is specifically...
- Referenced in 1128 articles
- The Vehicle Routing Problem (VRP) is one of...
- Referenced in 1468 articles
- Linear Matrix Inequalities (LMIs) and LMI techniques have...
- Referenced in 786 articles
- Microsoft Excel is a powerful spreadsheet application that...
- Referenced in 104 articles
- clasp: A conflict-driven answer set solver. clasp...
- Referenced in 4285 articles
- The On-Line Encyclopedia of Integer Sequence. The...