{"id":"https://openalex.org/W2736500799","doi":"https://doi.org/10.1007/3-540-45319-9","title":"Efficient Guiding Towards Cost-Optimality in Uppaal","display_name":"Efficient Guiding Towards Cost-Optimality in Uppaal","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W2736500799","doi":"https://doi.org/10.1007/3-540-45319-9","mag":"2736500799"},"language":"en","primary_location":{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/88e3dec7-ce9f-469c-945c-811425a98c57","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/88e3dec7-ce9f-469c-945c-811425a98c57","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Behrmann, G, Fehnker, A, Hune, T, Larsen, K, Pettersson, P & Romijn, J 2001, Efficient Guiding Towards Cost-Optimality in Uppaal. in T Margaria & W Yi (eds), Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings. Lecture Notes in Computer Science, vol. 2031, Springer, Berlin, Heidelberg, pp. 174\u2013188, 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001, Genova, Italy, 2/04/01. https://doi.org/10.1007/3-540-45319-9","raw_type":"info:eu-repo/semantics/publishedVersion"},"type":"article","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2066/19094","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108532510","display_name":"Gerd Behrmann","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Gerd Behrmann","raw_affiliation_strings":["Aalborg university"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aalborg university","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Ansgar Fehnker","orcid":"https://orcid.org/0000-0002-5326-3432"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Ansgar Fehnker","raw_affiliation_strings":["University of Nijmegen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Nijmegen","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Thomas Hune","orcid":null},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Thomas Hune","raw_affiliation_strings":["Aarhus university;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aarhus university;","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Kim G. Larsen","orcid":"https://orcid.org/0000-0002-5953-3384"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Kim G. Larsen","raw_affiliation_strings":["University of Twente ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Twente ,","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Paul Pettersson","orcid":"https://orcid.org/0000-0003-4040-3480"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Paul Pettersson","raw_affiliation_strings":["Aalborg university"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aalborg university","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"last","author":{"id":null,"display_name":"Judi Romijn","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Judi Romijn","raw_affiliation_strings":["University of Nijmegen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Nijmegen","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5108532510"],"corresponding_institution_ids":["https://openalex.org/I891191580"],"apc_list":null,"apc_paid":null,"fwci":1.1853,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.8470292,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2031","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.633899986743927,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.633899986743927,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.5141525864601135}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5141525864601135}],"mesh":[],"locations_count":8,"locations":[{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/88e3dec7-ce9f-469c-945c-811425a98c57","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/88e3dec7-ce9f-469c-945c-811425a98c57","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Behrmann, G, Fehnker, A, Hune, T, Larsen, K, Pettersson, P & Romijn, J 2001, Efficient Guiding Towards Cost-Optimality in Uppaal. in T Margaria & W Yi (eds), Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings. Lecture Notes in Computer Science, vol. 2031, Springer, Berlin, Heidelberg, pp. 174\u2013188, 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001, Genova, Italy, 2/04/01. https://doi.org/10.1007/3-540-45319-9","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/19094","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/19094","pdf_url":"http://hdl.handle.net/2066/19094","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Technical report / Computing Science Institute ; CSI-R0110. Nijmegen : Computing Science Institute Nijmegen","raw_type":"info:eu-repo/semantics/report"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.29.3003","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.3003","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.docs.uu.se/docs/rtmv/papers/bfhlpr-tacas01.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.31.6627","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.6627","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.kun.nl/~judi/papers/guiding.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.31.7221","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.7221","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.docs.uu.se/docs/rtmv/papers/bfhlpr-sub00-1.ps.gz","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:publications/76a60dd0-497b-11da-856d-000ea68e967b","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/76a60dd0-497b-11da-856d-000ea68e967b","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Behrmann, G, Fehnker, A, Hune, T S, Larsen, K G, Pettersson, P & Romijn, J 2001, Efficient Guiding Towards Cost-Optimality in UPPAAL. in Tools and Algorithms for the Construction and Analysis of Systems. Springer, pp. 174-188, Tools and Algorithms for the Construction and Analysis of Systems, Genova, Italy, 19/05/2010.","raw_type":"contributionToPeriodical"},{"id":"mag:2736500799","is_oa":false,"landing_page_url":"https://www.narcis.nl/publication/RecordID/oai%3Arepository.ubn.ru.nl%3A2066%2F19094","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null},{"id":"mag:2743975529","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/efficient-guiding-towards-cost-optimality-in-uppaal","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/19094","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/19094","pdf_url":"http://hdl.handle.net/2066/19094","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Technical report / Computing Science Institute ; CSI-R0110. Nijmegen : Computing Science Institute Nijmegen","raw_type":"info:eu-repo/semantics/report"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2736500799.pdf","grobid_xml":"https://content.openalex.org/works/W2736500799.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0,78],"this":[1],"paper":[2],"we":[3,85],"present":[4,133],"an":[5,68],"algorithm":[6,58,93,107,158],"for":[7,146,152],"efficiently":[8],"computing":[9],"the":[10,19,36,88,92,99,106,114,117,148,163,174,178],"minimum":[11],"cost":[12],"of":[13,21,35,40,65,91,101,119,136,172],"reaching":[14],"a":[15,33,62,134,170],"goal":[16],"state":[17],"in":[18,113,162],"model":[20,28,39],"Uniformly":[22],"Priced":[23],"Timed":[24],"Automata":[25],"(UPTA).":[26],"This":[27],"can":[29,94,122,143],"be":[30,95,111,124,144],"seen":[31],"as":[32],"submodel":[34],"recently":[37],"suggested":[38],"linearly":[41],"priced":[42],"timed":[43,47],"automata,":[44],"which":[45,142],"extends":[46],"automata":[48],"with":[49,80,181],"prices":[50],"on":[51,61,74,169],"both":[52],"locations":[53],"and":[54,67,71,151],"transitions.":[55],"The":[56,157],"presented":[57,175],"is":[59,108],"based":[60,73],"symbolic":[63,102],"semantics":[64],"UTPA,":[66],"efficient":[69],"representation":[70],"operations":[72],"difference":[75],"bound":[76],"matrices.":[77],"analogy":[79],"Dijkstra's":[81],"shortest":[82],"path":[83],"algorithm,":[84],"show":[86],"that":[87,98,116],"search":[89,129,149],"order":[90],"chosen":[96],"such":[97],"number":[100,118,135,171],"states":[103,121],"explored":[104,120,179],"by":[105,126,139],"optimal,":[109,112],"to":[110,183],"sense":[115],"not":[123],"reduced":[125,177],"any":[127],"other":[128],"order.":[130],"We":[131],"also":[132],"techniques":[137,176],"inspired":[138],"branch-and-bound":[140],"algorithms":[141],"used":[145],"limiting":[147],"space":[150],"quickly":[153],"finding":[154],"near-optimal":[155],"solutions.":[156],"has":[159],"been":[160],"implemented":[161],"verification":[164],"tool":[165],"Uppaal.":[166],"When":[167],"applied":[168],"experiments":[173],"state-space":[180],"up":[182],"90%.":[184]},"counts_by_year":[],"updated_date":"2026-04-28T14:05:53.105641","created_date":"2025-10-10T00:00:00"}