{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:12Z","timestamp":1750220652424,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,3,22]],"date-time":"2021-03-22T00:00:00Z","timestamp":1616371200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,3,22]]},"DOI":"10.1145\/3412841.3441956","type":"proceedings-article","created":{"date-parts":[[2021,4,23]],"date-time":"2021-04-23T05:09:42Z","timestamp":1619154582000},"page":"801-810","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["FlatPack"],"prefix":"10.1145","author":[{"given":"Ajay","family":"Kattepur","sequence":"first","affiliation":[{"name":"Ericsson Research, Bangalore, India"}]},{"given":"Swarup Kumar","family":"Mohalik","sequence":"additional","affiliation":[{"name":"Ericsson Research, Bangalore, India"}]}],"member":"320","published-online":{"date-parts":[[2021,4,22]]},"reference":[{"volume-title":"Proc. of the 13th European Conf. on Artificial Intelligence.","author":"Alami R.","key":"e_1_3_2_1_1_1","unstructured":"R. Alami, F. Ingrand, and S. Qutub. 1998. A Scheme for Coordinating Multi-robot Planning Activities and Plans Execution. In Proc. of the 13th European Conf. on Artificial Intelligence."},{"volume-title":"Proc. of Int. Colloquium on Algorithms, Languages, and Programming.","author":"Alur R.","key":"e_1_3_2_1_2_1","unstructured":"R. Alur and D. Dill. 1990. Automata for modeling real-time systems. In Proc. of Int. Colloquium on Algorithms, Languages, and Programming."},{"volume-title":"4th DIMACS Workshop on Verification and Control of Hybrid Systems.","author":"Bengtsson J.","key":"e_1_3_2_1_3_1","unstructured":"J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and W. Yi. 1995. Uppaal - a Tool Suite for Automatic Verification of Real-Time Systems. In 4th DIMACS Workshop on Verification and Control of Hybrid Systems."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"S. Bensalem K. Havelund and A. Orlandini. 2014. Verification and validation meet planning and scheduling. Intl. J. on Software Tools for Technology Transfer 16 (2014).","DOI":"10.1007\/s10009-013-0294-x"},{"volume-title":"Temporal Planning with Preferences and Time-Dependent Continuous Costs. In Intl. Conf. on Automated Planning and Scheduling.","author":"Benton J.","key":"e_1_3_2_1_5_1","unstructured":"J. Benton, A. Coles, and A. Coles. 2012. Temporal Planning with Preferences and Time-Dependent Continuous Costs. In Intl. Conf. on Automated Planning and Scheduling."},{"volume-title":"Proc. of 16th Int. Conf. on Concurrency Theory CONCUR.","author":"Cassez F.","key":"e_1_3_2_1_6_1","unstructured":"F. Cassez, A. David, E. Fleury, K. G. Larsen, and D. Lime. 2005. Efficient On-the-fly Algorithms for the Analysis of Timed Games. In Proc. of 16th Int. Conf. on Concurrency Theory CONCUR."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2351796.2351798"},{"volume-title":"Continuous Planning and Execution with Timelines. In Intl. Symp. on Artificial Intelligence, Robotics and Automation in Space.","author":"Cesta A.","key":"e_1_3_2_1_8_1","unstructured":"A. Cesta, S. Fratini, A. Orlandini, and R. Rasconi. 2012. Continuous Planning and Execution with Timelines. In Intl. Symp. on Artificial Intelligence, Robotics and Automation in Space."},{"key":"e_1_3_2_1_9_1","first-page":"130","article-title":"Planning via model checking: A decision procedure for AR","volume":"1348","author":"Cimatti A.","year":"1997","unstructured":"A. Cimatti, F. Giunchiglia, E. Giunchiglia, and P. Traverso. 1997. Planning via model checking: A decision procedure for AR. Springer LNCS 1348 (1997), 130--142.","journal-title":"Springer LNCS"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2208436.2208452"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1129"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622543.1622549"},{"key":"e_1_3_2_1_13_1","volume-title":"Automated Planning: Theory and Practice","author":"Ghallab M.","year":"2004","unstructured":"M. Ghallab, D. Nau, and P. Traverso. 2004. Automated Planning: Theory and Practice. Elsevier."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"M. Ghallab D. Nau and P. Traverso. 2016. Automated Planning and Acting. Cambridge University Press.","DOI":"10.1017\/CBO9781139583923"},{"volume-title":"25th Intl. Symp. on Temporal Representation and Reasoning (TIME).","author":"Gigante N.","key":"e_1_3_2_1_15_1","unstructured":"N. Gigante, A. Montanari, M. Cialdea Mayer, A. Orlandini, and M. Reynolds. 2018. A game-theoretic approach to timeline-based planning with uncertainty. In 25th Intl. Symp. on Temporal Representation and Reasoning (TIME)."},{"volume-title":"Proc. of 16th IEEE Intl. Conf. on Tools with Artificial Intelligence.","author":"Howey R.","key":"e_1_3_2_1_16_1","unstructured":"R. Howey, D. Long, and M. Fox. 2004. VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL. In Proc. of 16th IEEE Intl. Conf. on Tools with Artificial Intelligence."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"L. Khatib N. Muscettola and K. Havelund. 2001. Verification of Plan Models Using UPPAAL. Formal Approaches to Agent-Based Systems LNCS 1871 (2001).","DOI":"10.1007\/3-540-45484-5_9"},{"key":"e_1_3_2_1_18_1","first-page":"239","article-title":"Industry 4.0. Business & Info","volume":"6","author":"Lasi H.","year":"2014","unstructured":"H. Lasi, P. Fettke, H. Kemper, T. Feld, and M. Hoffmann. 2014. Industry 4.0. Business & Info. Sys. Engineering 6 (2014), 239--242.","journal-title":"Sys. Engineering"},{"volume-title":"Proc. of Innovative Applications of Artificial Intelligence.","author":"Lemai S.","key":"e_1_3_2_1_19_1","unstructured":"S. Lemai and F. Ingrand. 2004. Interleaving Temporal Planning and Execution in Robotics Domains. In Proc. of Innovative Applications of Artificial Intelligence."},{"key":"e_1_3_2_1_20_1","unstructured":"O.F. Lima M. Cashmore D. Magazzeni A. Micheli and R. Ventura. 2020. Robust Plan Execution with Unexpected Observations. In ArXiv."},{"volume-title":"Robustness Envelopes for Temporal Plans. In In Proc. of AAAI Conf. on Artificial Intelligence.","author":"Magazzeni D.","key":"e_1_3_2_1_21_1","unstructured":"D. Magazzeni, M. Cashmore, A. Cimatti, A. Micheli, and P. Zehtabi. 2019. Robustness Envelopes for Temporal Plans. In In Proc. of AAAI Conf. on Artificial Intelligence."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-015-0252-z"},{"volume-title":"Controller Synthesis for Safety Critical Planning. In Intl. Conf. on Tools with Artificial Intelligence.","author":"Orlandini A.","key":"e_1_3_2_1_23_1","unstructured":"A. Orlandini, M. Suriano, A. Cesta, and A. Finzi. 2015. Controller Synthesis for Safety Critical Planning. In Intl. Conf. on Tools with Artificial Intelligence."},{"volume-title":"Proc. of Formal Techniques for Distributed Systems.","author":"Rudolph E.","key":"e_1_3_2_1_24_1","unstructured":"E. Rudolph, P. Graubmann, and J. Grabowski. 1996. Tutorial on message sequence charts. In Proc. of Formal Techniques for Distributed Systems."}],"event":{"name":"SAC '21: The 36th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Virtual Event Republic of Korea","acronym":"SAC '21"},"container-title":["Proceedings of the 36th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412841.3441956","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412841.3441956","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:24Z","timestamp":1750197744000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412841.3441956"}},"subtitle":["flexible temporal planning with verification and controller synthesis"],"short-title":[],"issued":{"date-parts":[[2021,3,22]]},"references-count":24,"alternative-id":["10.1145\/3412841.3441956","10.1145\/3412841"],"URL":"https:\/\/doi.org\/10.1145\/3412841.3441956","relation":{},"subject":[],"published":{"date-parts":[[2021,3,22]]},"assertion":[{"value":"2021-04-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}