{"id":"https://openalex.org/W4285798760","doi":"https://doi.org/10.4204/eptcs.362.3","title":"Careful Autonomous Agents in Environments With Multiple Common Resources","display_name":"Careful Autonomous Agents in Environments With Multiple Common Resources","publication_year":2022,"publication_date":"2022-07-19","ids":{"openalex":"https://openalex.org/W4285798760","doi":"https://doi.org/10.4204/eptcs.362.3"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.362.3","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.362.3","pdf_url":"https://arxiv.org/pdf/2207.09707","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/2207.09707","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061859307","display_name":"Rodica Condurache","orcid":null},"institutions":[{"id":"https://openalex.org/I138164181","display_name":"Alexandru Ioan Cuza University","ror":"https://ror.org/022kvet57","country_code":"RO","type":"education","lineage":["https://openalex.org/I138164181"]}],"countries":["RO"],"is_corresponding":true,"raw_author_name":"Rodica Condurache","raw_affiliation_strings":["Alexandru Ioan Cuza University","Universitatea Al. I. Cuza (France)"],"affiliations":[{"raw_affiliation_string":"Alexandru Ioan Cuza University","institution_ids":["https://openalex.org/I138164181"]},{"raw_affiliation_string":"Universitatea Al. I. Cuza (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069463747","display_name":"C\u0103t\u0103lin Dima","orcid":"https://orcid.org/0000-0001-5981-4533"},"institutions":[{"id":"https://openalex.org/I197681013","display_name":"Universit\u00e9 Paris-Est Cr\u00e9teil","ror":"https://ror.org/05ggc9x40","country_code":"FR","type":"education","lineage":["https://openalex.org/I197681013"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Catalin Dima","raw_affiliation_strings":["Paris-East Cr\u00e9teil University, LACL"],"affiliations":[{"raw_affiliation_string":"Paris-East Cr\u00e9teil University, LACL","institution_ids":["https://openalex.org/I197681013"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052328781","display_name":"Madalina Jitaru","orcid":null},"institutions":[{"id":"https://openalex.org/I197681013","display_name":"Universit\u00e9 Paris-Est Cr\u00e9teil","ror":"https://ror.org/05ggc9x40","country_code":"FR","type":"education","lineage":["https://openalex.org/I197681013"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Madalina Jitaru","raw_affiliation_strings":["Paris-East Cr\u00e9teil University, LACL"],"affiliations":[{"raw_affiliation_string":"Paris-East Cr\u00e9teil University, LACL","institution_ids":["https://openalex.org/I197681013"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018227899","display_name":"Youssouf Oualhadj","orcid":"https://orcid.org/0000-0003-0200-4032"},"institutions":[{"id":"https://openalex.org/I171543936","display_name":"Free University of Bozen-Bolzano","ror":"https://ror.org/012ajp527","country_code":"IT","type":"education","lineage":["https://openalex.org/I171543936"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Youssouf Oualhadj","raw_affiliation_strings":["Free University of Bozen-Bolzano, Paris-East Cr\u00e9teil University"],"affiliations":[{"raw_affiliation_string":"Free University of Bozen-Bolzano, Paris-East Cr\u00e9teil University","institution_ids":["https://openalex.org/I171543936"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011445220","display_name":"Nicolas Troquard","orcid":"https://orcid.org/0000-0002-5763-6080"},"institutions":[{"id":"https://openalex.org/I171543936","display_name":"Free University of Bozen-Bolzano","ror":"https://ror.org/012ajp527","country_code":"IT","type":"education","lineage":["https://openalex.org/I171543936"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Nicolas Troquard","raw_affiliation_strings":["Free University of Bozen-Bolzano"],"affiliations":[{"raw_affiliation_string":"Free University of Bozen-Bolzano","institution_ids":["https://openalex.org/I171543936"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5061859307"],"corresponding_institution_ids":["https://openalex.org/I138164181"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06921185,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"362","issue":null,"first_page":"3","last_page":"14"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5027093887329102}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5027093887329102}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.4204/eptcs.362.3","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.362.3","pdf_url":"https://arxiv.org/pdf/2207.09707","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2207.09707","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2207.09707","pdf_url":"https://arxiv.org/pdf/2207.09707","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:HAL:hal-04569982v1","is_oa":false,"landing_page_url":"https://hal.u-pec.fr/hal-04569982","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Jul 2022, Vienne (AUT), Austria. pp.3-14, ⟨10.4204/EPTCS.362.3⟩","raw_type":"Conference papers"},{"id":"pmh:oai:alma.39UBZ_INST:11294648380001241","is_oa":true,"landing_page_url":"https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?AREA2022.3","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:unibz.it:11294648380001241","is_oa":true,"landing_page_url":"https://bia.unibz.it/esploro/outputs/conferenceProceeding/Careful-Autonomous-Agents-in-Environments-With/991006519798701241","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"}],"best_oa_location":{"id":"doi:10.4204/eptcs.362.3","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.362.3","pdf_url":"https://arxiv.org/pdf/2207.09707","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4285798760.pdf","grobid_xml":"https://content.openalex.org/works/W4285798760.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W152378237","https://openalex.org/W1539210606","https://openalex.org/W1589508846","https://openalex.org/W1964901465","https://openalex.org/W2016206563","https://openalex.org/W2023808162","https://openalex.org/W2061970672","https://openalex.org/W2108913612","https://openalex.org/W2141088850","https://openalex.org/W2533969236","https://openalex.org/W2737012218","https://openalex.org/W2912494578","https://openalex.org/W3027527117","https://openalex.org/W3175661489","https://openalex.org/W3195926713","https://openalex.org/W4226323851","https://openalex.org/W4234096182","https://openalex.org/W4234761190","https://openalex.org/W6606197109"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Careful":[0],"rational":[1,18,131],"synthesis":[2,19,132,178],"was":[3],"defined":[4],"in":[5,30,35,39,156],"(Condurache":[6],"et":[7,16,21],"al.":[8,22],"2021)":[9],"as":[10,24],"a":[11,25,36,40,60,77,146],"quantitative":[12],"extension":[13],"of":[14,27,70,90,94,114,129,161],"Fisman":[15],"al.'s":[17],"(Fisman":[20],"2010),":[23],"model":[26],"multi-agent":[28,95],"systems":[29,96],"which":[31],"agents":[32,104],"are":[33],"interacting":[34],"graph":[37],"arena":[38],"turn-based":[41],"fashion.":[42],"There":[43],"is":[44,82,141,163,173],"one":[45,112],"common":[46],"resource,":[47],"and":[48,64,105,108,172],"each":[49],"action":[50],"may":[51],"decrease":[52],"or":[53],"increase":[54],"the":[55,68,71,88,91,127,139,153,159,168],"resource.":[56],"Each":[57],"agent":[58],"has":[59],"temporal":[61],"qualitative":[62],"objective":[63],"wants":[65],"to":[66],"maintain":[67],"value":[69],"resource":[72],"positive.":[73],"One":[74],"must":[75],"find":[76],"Nash":[78],"equilibrium.":[79],"This":[80],"problem":[81,128,140,169],"decidable.":[83],"In":[84],"more":[85,110],"practical":[86,157],"settings,":[87,158],"verification":[89],"critical":[92],"properties":[93],"calls":[97],"for":[98],"models":[99],"with":[100,133,148,179],"many":[101],"resources.":[102,135],"Indeed,":[103],"robots":[106],"consume":[107],"produce":[109],"than":[111,176],"type":[113],"resource:":[115],"electric":[116],"energy,":[117],"fuel,":[118],"raw":[119],"material,":[120],"manufactured":[121],"goods,":[122],"etc.":[123],"We":[124,136,143,165],"thus":[125],"explore":[126],"careful":[130],"several":[134],"show":[137,166],"that":[138,155,167],"undecidable.":[142],"then":[144],"propose":[145],"variant":[147],"bounded":[149],"resources,":[150],"motivated":[151],"by":[152],"observation":[154],"storage":[160],"resources":[162],"limited.":[164],"becomes":[170],"decidable,":[171],"no":[174],"harder":[175],"controller":[177],"Linear-time":[180],"Temporal":[181],"Logic":[182],"objectives.":[183]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}