{"id":"https://openalex.org/W3159685931","doi":"https://doi.org/10.1145/3412841.3441956","title":"FlatPack","display_name":"FlatPack","publication_year":2021,"publication_date":"2021-03-22","ids":{"openalex":"https://openalex.org/W3159685931","doi":"https://doi.org/10.1145/3412841.3441956","mag":"3159685931"},"language":"en","primary_location":{"id":"doi:10.1145/3412841.3441956","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3412841.3441956","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089220443","display_name":"Ajay Kattepur","orcid":"https://orcid.org/0000-0002-6540-1097"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ajay Kattepur","raw_affiliation_strings":["Ericsson Research, Bangalore, India"],"affiliations":[{"raw_affiliation_string":"Ericsson Research, Bangalore, India","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085837241","display_name":"Swarup Kumar Mohalik","orcid":"https://orcid.org/0000-0002-6167-9892"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Swarup Kumar Mohalik","raw_affiliation_strings":["Ericsson Research, Bangalore, India"],"affiliations":[{"raw_affiliation_string":"Ericsson Research, Bangalore, India","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5089220443"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.148,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.48683788,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"801","last_page":"810"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"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.9987000226974487,"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.9969000220298767,"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/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.9966999888420105,"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.8535404801368713},{"id":"https://openalex.org/keywords/timeline","display_name":"Timeline","score":0.7193272113800049},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6810134649276733},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6444301009178162},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.5595840811729431},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.5330948233604431},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.49280741810798645},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4752770960330963},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.4686628580093384},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.45865532755851746},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.38856297731399536},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21154069900512695},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1633661687374115},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.14145496487617493}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8535404801368713},{"id":"https://openalex.org/C4438859","wikidata":"https://www.wikidata.org/wiki/Q186117","display_name":"Timeline","level":2,"score":0.7193272113800049},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6810134649276733},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6444301009178162},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.5595840811729431},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.5330948233604431},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.49280741810798645},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4752770960330963},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4686628580093384},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.45865532755851746},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.38856297731399536},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21154069900512695},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1633661687374115},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.14145496487617493},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3412841.3441956","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3412841.3441956","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5199999809265137,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1481705907","https://openalex.org/W1489183362","https://openalex.org/W1527743161","https://openalex.org/W1968186546","https://openalex.org/W2119709400","https://openalex.org/W2195359882","https://openalex.org/W2479648088","https://openalex.org/W3004215158","https://openalex.org/W3012647981","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1858249912","https://openalex.org/W2114034199","https://openalex.org/W4391249598","https://openalex.org/W2317428717","https://openalex.org/W2734259032","https://openalex.org/W3094038556","https://openalex.org/W2746280673","https://openalex.org/W1594593035","https://openalex.org/W2152996796","https://openalex.org/W2560415449"],"abstract_inverted_index":{"Efficient":[0],"use":[1,161],"of":[2,64,94,136,165],"automated":[3],"planning":[4],"and":[5,32,73,147],"scheduling":[6,31],"has":[7],"been":[8],"proposed":[9],"in":[10,67,109],"the":[11,35,116],"Industry":[12,158],"4.0":[13,159],"context":[14],"involving":[15,163],"multiple":[16,166],"robotic":[17],"agents.":[18],"Temporal":[19,99],"planners":[20],"are":[21,38,101,128,139,154],"typically":[22],"employed":[23],"with":[24,142],"durative":[25],"actions":[26],"included":[27],"for":[28,107],"concurrent":[29],"plan":[30,122,149],"execution.":[33,76,98],"However,":[34],"planned":[36],"durations":[37],"either":[39],"mean":[40],"values":[41],"or":[42,57],"within":[43],"closed":[44],"intervals,":[45],"which":[46],"can":[47,91],"be":[48,125],"easily":[49],"violated":[50],"during":[51,75,97],"execution":[52,150],"due":[53],"to":[54,85,103,112,130],"uncontrollable":[55],"events":[56],"agent":[58],"deviations.":[59,132],"These":[60,152],"variations":[61],"trigger":[62],"violation":[63],"safety":[65],"properties":[66,96],"multi-agent":[68],"scenarios,":[69],"mandating":[70],"further":[71,140],"verification":[72,108],"control":[74,145],"In":[77],"this":[78],"paper,":[79],"we":[80],"propose":[81],"Flat-Pack,":[82],"a":[83],"framework":[84],"generate":[86],"flexible":[87],"temporal":[88,131],"plans":[89,100],"that":[90,127],"ensure":[92],"satisfaction":[93],"specified":[95],"translated":[102],"timed-game":[104],"automata":[105],"models":[106],"Uppaal-Tiga":[110],"prior":[111],"dispatch.":[113],"Further,":[114],"using":[115],"strategy":[117],"synthesized":[118],"by":[119],"Uppaal-Tiga,":[120],"controlled":[121],"executions":[123],"may":[124],"performed":[126],"resilient":[129],"The":[133],"optimal":[134],"number":[135],"controllable":[137],"transitions":[138],"derived":[141],"tradeoffs":[143],"against":[144],"complexity":[146],"end-to-end":[148],"timelines.":[151],"aspects":[153],"demonstrated":[155],"over":[156],"an":[157],"warehouse":[160],"case":[162],"coordination":[164],"robots.":[167]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2021-05-10T00:00:00"}