The example we will use here is simple - a single line in Grafana’s Mimir codebase. In a project spanning months, we had introduced enormous changes to a query request queuing algorithm and spent much ...
Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing (Benchmark Proposal)
A benchmark example for the verification of hybrid systems. Maximilian Gaukler max.gaukler@fau.de and Peter Ulbrich peter.ulbrich@fau.de, 2019. Submitted to ARCH 2019 ...
To run the artifact test for the companion paper, install the Docker image (see the main Godel2 repository), and run the run.sh script. the script will run the main examples, and ask you whether to ...
Abstract: Heuristically accelerated FRIQ-learning (HFRIQ-learning) is a Fuzzy Rule-Interpolation based Q-learning method which is able to embed external expert knowledge into the learning system. It ...
💡 Are you building a benchmark? Some notes and suggestions after reviewing several benchmark papers for ACL: 📊 Motivate why your benchmark is needed: Just because you can create data (particularly ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results