{"publication_identifier":{"isbn":["9783031572555"],"issn":["0302-9743"],"eissn":["1611-3349"]},"ec_funded":1,"oa":1,"publication":"30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","department":[{"_id":"ToHe"}],"title":"Auction-based scheduling","date_published":"2024-04-05T00:00:00Z","abstract":[{"lang":"eng","text":"Sequential decision-making tasks often require satisfaction of multiple, partially-contradictory objectives. Existing approaches are monolithic, where a single policy fulfills all objectives. We present auction-based scheduling, a decentralized framework for multi-objective sequential decision making. Each objective is fulfilled using a separate and independent policy. Composition of policies is performed at runtime, where at each step, the policies simultaneously bid from pre-allocated budgets for the privilege of choosing the next action. The framework allows policies to be independently created, modified, and replaced. We study path planning problems on finite graphs with two temporal objectives and present algorithms to synthesize policies together with bidding policies in a decentralized manner. We consider three categories of decentralized synthesis problems, parameterized by the assumptions that the policies make on each other. We identify a class of assumptions called assume-admissible for which synthesis is always possible for graphs whose every vertex has at most two outgoing edges."}],"status":"public","oa_version":"Published Version","external_id":{"arxiv":["2310.11798"]},"ddc":["000"],"scopus_import":"1","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"language":[{"iso":"eng"}],"type":"conference","conference":{"end_date":"2024-04-11","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","start_date":"2024-04-06","location":"Luxembourg City, Luxembourg"},"page":"153-172","volume":14572,"day":"05","license":"https://creativecommons.org/licenses/by/4.0/","publisher":"Springer Nature","quality_controlled":"1","has_accepted_license":"1","alternative_title":["LNCS"],"date_created":"2024-05-12T22:01:02Z","month":"04","file":[{"creator":"dernst","access_level":"open_access","success":1,"file_id":"15414","date_created":"2024-05-22T07:09:24Z","checksum":"dbeb123510997886d11925aedbf9c400","file_name":"2024_LNCS_Avni.pdf","file_size":508191,"content_type":"application/pdf","relation":"main_file","date_updated":"2024-05-22T07:09:24Z"}],"acknowledgement":"This work was supported in part by the ERC project ERC-2020-AdG 101020093 and by ISF grant no. 1679/21.","date_updated":"2024-05-22T07:14:37Z","_id":"15376","year":"2024","author":[{"first_name":"Guy","full_name":"Avni, Guy","orcid":"0000-0001-5588-8287","id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","last_name":"Avni"},{"id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598","last_name":"Mallik","full_name":"Mallik, Kaushik","first_name":"Kaushik","orcid":"0000-0001-9864-7475"},{"full_name":"Sadhukhan, Suman","first_name":"Suman","last_name":"Sadhukhan"}],"article_processing_charge":"Yes (in subscription journal)","citation":{"apa":"Avni, G., Mallik, K., & Sadhukhan, S. (2024). Auction-based scheduling. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 153–172). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_8","short":"G. Avni, K. Mallik, S. Sadhukhan, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 153–172.","mla":"Avni, Guy, et al. “Auction-Based Scheduling.” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 153–72, doi:10.1007/978-3-031-57256-2_8.","ista":"Avni G, Mallik K, Sadhukhan S. 2024. Auction-based scheduling. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 14572, 153–172.","ama":"Avni G, Mallik K, Sadhukhan S. Auction-based scheduling. In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Springer Nature; 2024:153-172. doi:10.1007/978-3-031-57256-2_8","chicago":"Avni, Guy, Kaushik Mallik, and Suman Sadhukhan. “Auction-Based Scheduling.” In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:153–72. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-57256-2_8.","ieee":"G. Avni, K. Mallik, and S. Sadhukhan, “Auction-based scheduling,” in 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, 2024, vol. 14572, pp. 153–172."},"doi":"10.1007/978-3-031-57256-2_8","publication_status":"published","intvolume":" 14572","file_date_updated":"2024-05-22T07:09:24Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","project":[{"call_identifier":"H2020","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"}]}