Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Multi-objective Optimization of Long-run Average and Total Rewards: Supplemental Material - MaRDI portal

Deprecated: Use of MediaWiki\Skin\SkinTemplate::injectLegacyMenusIntoPersonalTools was deprecated in Please make sure Skin option menus contains `user-menu` (and possibly `notifications`, `user-interface-preferences`, `user-page`) 1.46. [Called from MediaWiki\Skin\SkinTemplate::getPortletsTemplateData in /var/www/html/w/includes/Skin/SkinTemplate.php at line 691] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of QuickTemplate::(get/html/text/haveData) with parameter `personal_urls` was deprecated in MediaWiki Use content_navigation instead. [Called from MediaWiki\Skin\QuickTemplate::get in /var/www/html/w/includes/Skin/QuickTemplate.php at line 131] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Multi-objective Optimization of Long-run Average and Total Rewards: Supplemental Material

From MaRDI portal



DOI10.5281/zenodo.4121878Zenodo4121878MaRDI QIDQ6697781

Dataset published at Zenodo repository.

Author name not available (Why is that?)

Publication date: 23 October 2020



Description

Supplemental Material for the Paper: Multi-objective Optimization of Long-run Average and Total Rewards by Tim Quatmann and Joost-Pieter Katoen. This artifact contains our implementation for the paper Multi-objective Optimization of Long-run Average and Total Rewards. The implementation is fully integrated into the model checker Storm. We include the sources and dependencies of Storm as well as the related tools MultiGain and PRISM-games. Moreover, we include model files and scripts for replicating *all* experiments as conducted for the paper. The original logfiles obtained during our experiments are included as well. The artifact has been tested to work with the TACAS 21 Artifact Evaluation VM running Ubuntu 20.04 LTS






This page was built for dataset: Multi-objective Optimization of Long-run Average and Total Rewards: Supplemental Material

Retrieved from "https://mardi.schubotz.org/w/index.php?title=Multi-objective_Optimization_of_Long-run_Average_and_Total_Rewards:_Supplemental_Material&oldid=44860297"
Powered by MediaWiki