{"id":"https://openalex.org/W3155707444","doi":"https://doi.org/10.46298/lmcs-18(3:17)2022","title":"One-Clock Priced Timed Games with Negative Weights","display_name":"One-Clock Priced Timed Games with Negative Weights","publication_year":2022,"publication_date":"2022-08-09","ids":{"openalex":"https://openalex.org/W3155707444","doi":"https://doi.org/10.46298/lmcs-18(3:17)2022","mag":"3155707444"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-18(3:17)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(3:17)2022","pdf_url":"https://lmcs.episciences.org/9901/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/9901/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070197309","display_name":"Thomas Brihaye","orcid":"https://orcid.org/0000-0001-5763-3130"},"institutions":[{"id":"https://openalex.org/I130929987","display_name":"University of Mons","ror":"https://ror.org/02qnnz951","country_code":"BE","type":"education","lineage":["https://openalex.org/I130929987"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Thomas Brihaye","raw_affiliation_strings":["Universit de Mons, Belgium","Universit\u00e9 de Mons, Belgium"],"affiliations":[{"raw_affiliation_string":"Universit de Mons, Belgium","institution_ids":["https://openalex.org/I130929987"]},{"raw_affiliation_string":"Universit\u00e9 de Mons, Belgium","institution_ids":["https://openalex.org/I130929987"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108492834","display_name":"Gilles Geeraerts","orcid":null},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Gilles Geeraerts","raw_affiliation_strings":["Universit libre de Bruxelles, Belgium","Universit\u00e9 libre de Bruxelles, Belgium"],"affiliations":[{"raw_affiliation_string":"Universit libre de Bruxelles, Belgium","institution_ids":["https://openalex.org/I132053463"]},{"raw_affiliation_string":"Universit\u00e9 libre de Bruxelles, Belgium","institution_ids":["https://openalex.org/I132053463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068580974","display_name":"Axel Haddad","orcid":null},"institutions":[{"id":"https://openalex.org/I130929987","display_name":"University of Mons","ror":"https://ror.org/02qnnz951","country_code":"BE","type":"education","lineage":["https://openalex.org/I130929987"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Axel Haddad","raw_affiliation_strings":["Universit de Mons, Belgium","Universit\u00e9 de Mons, Belgium"],"affiliations":[{"raw_affiliation_string":"Universit de Mons, Belgium","institution_ids":["https://openalex.org/I130929987"]},{"raw_affiliation_string":"Universit\u00e9 de Mons, Belgium","institution_ids":["https://openalex.org/I130929987"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043600270","display_name":"Engel Lefaucheux","orcid":"https://orcid.org/0000-0003-0875-300X"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Engel Lefaucheux","raw_affiliation_strings":["Max-Planck Institute for Software Systems, Germany"],"affiliations":[{"raw_affiliation_string":"Max-Planck Institute for Software Systems, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066787748","display_name":"Benjamin Monmege","orcid":"https://orcid.org/0000-0002-4717-9955"},"institutions":[{"id":"https://openalex.org/I21491767","display_name":"Aix-Marseille Universit\u00e9","ror":"https://ror.org/035xkbk20","country_code":"FR","type":"education","lineage":["https://openalex.org/I21491767"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Benjamin Monmege","raw_affiliation_strings":["Aix Marseille Univ, LIS, CNRS, Marseille, France"],"affiliations":[{"raw_affiliation_string":"Aix Marseille Univ, LIS, CNRS, Marseille, France","institution_ids":["https://openalex.org/I4210114274","https://openalex.org/I1294671590","https://openalex.org/I21491767"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5070197309"],"corresponding_institution_ids":["https://openalex.org/I130929987"],"apc_list":null,"apc_paid":null,"fwci":0.1509,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.44747945,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"Volume 18, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9945999979972839,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9926999807357788,"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/decidability","display_name":"Decidability","score":0.7947303056716919},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6999140381813049},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6412268877029419},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.6382896304130554},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.6194600462913513},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5589931011199951},{"id":"https://openalex.org/keywords/reset","display_name":"Reset (finance)","score":0.43078121542930603},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.41941037774086},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.30110347270965576},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2921282947063446},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13542890548706055}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7947303056716919},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6999140381813049},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6412268877029419},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6382896304130554},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.6194600462913513},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5589931011199951},{"id":"https://openalex.org/C2779795794","wikidata":"https://www.wikidata.org/wiki/Q7315343","display_name":"Reset (finance)","level":2,"score":0.43078121542930603},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.41941037774086},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30110347270965576},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2921282947063446},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13542890548706055},{"id":"https://openalex.org/C106159729","wikidata":"https://www.wikidata.org/wiki/Q2294553","display_name":"Financial economics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.46298/lmcs-18(3:17)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(3:17)2022","pdf_url":"https://lmcs.episciences.org/9901/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2009.03074","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2009.03074","pdf_url":"https://arxiv.org/pdf/2009.03074","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":null,"raw_type":"text"},{"id":"pmh:oai:orbi.umons.ac.be:20.500.12907/43913","is_oa":true,"landing_page_url":"https://orbi.umons.ac.be/handle/20.500.12907/43913","pdf_url":"https://orbi.umons.ac.be/bitstream/20.500.12907/43913/1/2009.03074v5.pdf","source":{"id":"https://openalex.org/S7407055454","display_name":"ORBi UMONS","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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 18 (3), 17:1 - 17:51 (2022)","raw_type":"peer reviewed"},{"id":"pmh:oai:dipot.ulb.ac.be:2013/349610","is_oa":true,"landing_page_url":"http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/349610","pdf_url":null,"source":{"id":"https://openalex.org/S4306401063","display_name":"D\u00e9p\u00f4t institutionnel de l'Universit\u00e9 libre de Bruxelles (Universit\u00e9 Libre de Bruxelles)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I132053463","host_organization_name":"Universit\u00e9 Libre de Bruxelles","host_organization_lineage":["https://openalex.org/I132053463"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical methods in computer science, 18 (3","raw_type":"info:ulb-repo/semantics/openurl/article"},{"id":"pmh:oai:doaj.org/article:855a3ad47a244767baac92a13811c604","is_oa":true,"landing_page_url":"https://doaj.org/article/855a3ad47a244767baac92a13811c604","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-18(3:17)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(3:17)2022","pdf_url":"https://lmcs.episciences.org/9901/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1329855610","display_name":null,"funder_award_id":"project","funder_id":"https://openalex.org/F4320321390","funder_display_name":"Fonds De La Recherche Scientifique - FNRS"},{"id":"https://openalex.org/G3829048491","display_name":null,"funder_award_id":"FP7/2007-2013","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3981126665","display_name":null,"funder_award_id":"Seventh Framework Programme","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5554801283","display_name":null,"funder_award_id":"T.0027.21","funder_id":"https://openalex.org/F4320321390","funder_display_name":"Fonds De La Recherche Scientifique - FNRS"},{"id":"https://openalex.org/G5593277320","display_name":null,"funder_award_id":"2007-2013","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5702163051","display_name":null,"funder_award_id":"FP7/2007","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6851345361","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6876561401","display_name":null,"funder_award_id":"ANR-18","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7246439838","display_name":null,"funder_award_id":"ANR-18-CE40-0015","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7318941937","display_name":null,"funder_award_id":"601148","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G794676242","display_name":null,"funder_award_id":"ANR-16-CE40-0007","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8051717526","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321390","display_name":"Fonds De La Recherche Scientifique - FNRS","ror":"https://ror.org/03q83t159"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3155707444.pdf","grobid_xml":"https://content.openalex.org/works/W3155707444.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W1494167205","https://openalex.org/W1582578515","https://openalex.org/W1602365600","https://openalex.org/W1641860851","https://openalex.org/W1710323894","https://openalex.org/W1750615905","https://openalex.org/W1802139950","https://openalex.org/W1868359205","https://openalex.org/W1900127520","https://openalex.org/W1978019075","https://openalex.org/W2053174510","https://openalex.org/W2056957549","https://openalex.org/W2065323166","https://openalex.org/W2081128931","https://openalex.org/W2089017767","https://openalex.org/W2101508170","https://openalex.org/W2130546985","https://openalex.org/W2144965436","https://openalex.org/W2219452381","https://openalex.org/W2294086291","https://openalex.org/W2364159064","https://openalex.org/W2401541481","https://openalex.org/W2483798589","https://openalex.org/W2575538450","https://openalex.org/W2903935047","https://openalex.org/W2962981856","https://openalex.org/W3032532239","https://openalex.org/W3150847173","https://openalex.org/W4248784701","https://openalex.org/W4285719527","https://openalex.org/W4288400169","https://openalex.org/W4300557557"],"related_works":["https://openalex.org/W350273603","https://openalex.org/W2393495588","https://openalex.org/W96259911","https://openalex.org/W1572576657","https://openalex.org/W2506746226","https://openalex.org/W2109489765","https://openalex.org/W3104737963","https://openalex.org/W1886746238","https://openalex.org/W2145224012","https://openalex.org/W2182252111"],"abstract_inverted_index":{"Priced":[0],"timed":[1,10,55,77,107,121,133,151],"games":[2,6,56,108,122,134,152],"are":[3,16,39,109],"two-player":[4],"zero-sum":[5],"played":[7],"on":[8,118],"priced":[9,54,76,106,120,132,150],"automata":[11],"(whose":[12],"locations":[13],"and":[14,29,42,60,64,111,139,155],"transitions":[15],"labeled":[17],"by":[18],"weights":[19,63,138,158],"modelling":[20],"the":[21,37,44,85,89,125,146],"cost":[22,45],"of":[23,36,71,129,145,149],"spending":[24],"time":[25],"in":[26,82],"a":[27,48],"state":[28],"executing":[30],"an":[31,68],"action,":[32],"respectively).":[33],"The":[34,142],"goals":[35],"players":[38,90],"to":[40,46,123],"minimise":[41],"maximise":[43],"reach":[47],"target":[49],"location,":[50],"respectively.":[51],"We":[52],"consider":[53],"with":[57,93,153],"one":[58,79,140],"clock":[59],"arbitrary":[61,136,156],"integer":[62,137,157],"show":[65,103],"that,":[66],"for":[67],"important":[69],"subclass":[70],"them":[72],"(the":[73],"so-called":[74,130],"simple":[75,119],"games),":[78],"can":[80,91,114],"compute,":[81],"pseudo-polynomial":[83],"time,":[84],"optimal":[86,96],"values":[87],"that":[88,104,112],"achieve,":[92],"their":[94],"associated":[95],"strategies.":[97],"As":[98],"side":[99],"results,":[100],"we":[101,113],"also":[102],"one-clock":[105,154],"determined":[110],"use":[115],"our":[116],"result":[117],"solve":[124],"more":[126],"general":[127],"class":[128,148],"negative-reset-acyclic":[131],"(with":[135],"clock).":[141],"decidability":[143],"status":[144],"full":[147],"still":[159],"remains":[160],"open.":[161]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}