{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T07:10:09Z","timestamp":1777619409935,"version":"3.51.4"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"6-8","license":[{"start":{"date-parts":[[2016,2,1]],"date-time":"2016-02-01T00:00:00Z","timestamp":1454284800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s00236-016-0257-2","type":"journal-article","created":{"date-parts":[[2016,2,1]],"date-time":"2016-02-01T14:48:44Z","timestamp":1454338124000},"page":"681-722","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Dynamic controllability via Timed Game Automata"],"prefix":"10.1007","volume":"53","author":[{"given":"Alessandro","family":"Cimatti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luke","family":"Hunsberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Micheli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Posenato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Roveri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,2,1]]},"reference":[{"key":"257_CR1","doi-asserted-by":"crossref","unstructured":"Abdeddaim, Y., Asarin, E., Sighireanu, M.: Simple algorithm for simple timed games. In: TIME, pp. 99\u2013106 (2009)","DOI":"10.1109\/TIME.2009.14"},{"issue":"11","key":"257_CR2","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"issue":"2","key":"257_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"257_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artmed.2004.07.006","volume":"33","author":"JC Augusto","year":"2005","unstructured":"Augusto, J.C.: Temporal reasoning for decision support in medicine. Artif. Intell. Med. 33(1), 1\u201324 (2005)","journal-title":"Artif. Intell. Med."},{"key":"257_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/978-3-540-73368-3_14","volume-title":"Proceedings of the 19th Conference on Computer Aided Verification (CAV-2007)","author":"G Behrmann","year":"2007","unstructured":"Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K., Lime, D.: Uppaal-Tiga: time for playing games!. In: Damm, W., Hermanns, H. (eds.) Proceedings of the 19th Conference on Computer Aided Verification (CAV-2007). Lecture Notes in Computer Science, vol. 4590, pp. 121\u2013125. Springer, Berlin (2007)"},{"key":"257_CR6","doi-asserted-by":"crossref","unstructured":"Cassez, F., David, A., Fleury, E., Larsen, K.G., Lime, D.: Efficient on-the-fly algorithms for the analysis of timed games. In: CONCUR, pp. 66\u201380 (2005)","DOI":"10.1007\/11539452_9"},{"issue":"2\u20133","key":"257_CR7","doi-asserted-by":"crossref","first-page":"111","DOI":"10.3233\/FI-2011-397","volume":"107","author":"A Cesta","year":"2011","unstructured":"Cesta, A., Fratini, S., Orlandini, A., Finzi, A.: Flexible plan verification: feasibility results. Fundam. Inform. 107(2\u20133), 111\u2013137 (2011)","journal-title":"Fundam. Inform."},{"key":"257_CR8","doi-asserted-by":"crossref","unstructured":"Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: Toward a time-centric modeling of business processes in BPMN 2.0. In: International Conference on Information Integration and Web-based Applications and Services, pp. 154\u2013163. ACM (2013)","DOI":"10.1145\/2539150.2539182"},{"key":"257_CR9","doi-asserted-by":"publisher","unstructured":"Cimatti, A., Hunsberger, L., Micheli, A., Posenato, R., Roveri, M.: Sound and complete algorithms for checking the dynamic controllability of temporal networks with uncertainty, disjunction and observation. In: Cesta, A., Combi, C., Laroussinie, F. (eds.) 21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8\u201310, 2014, pp. 27\u201336. IEEE Computer Society (2014). doi: 10.1109\/TIME.2014.21","DOI":"10.1109\/TIME.2014.21"},{"key":"257_CR10","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Hunsberger, L., Micheli, A., Roveri, M.: Using timed game automata to synthesize execution strategies for simple temporal networks with uncertainty. In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27\u201331, 2014, Qu\u00e9bec City, Qu\u00e9bec, Canada, pp. 2242\u20132249 (2014)","DOI":"10.1609\/aaai.v28i1.9040"},{"key":"257_CR11","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Micheli, A., Roveri, M.: Solving temporal problems using SMT: weak controllability. In: AAAI, pp. 448\u2013454 (2012)","DOI":"10.1007\/978-3-642-33558-7_20"},{"issue":"1","key":"257_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10601-014-9167-5","volume":"20","author":"A Cimatti","year":"2015","unstructured":"Cimatti, A., Micheli, A., Roveri, M.: Solving strong controllability of temporal problems with uncertainty using SMT. Constraints 20(1), 1\u201329 (2015)","journal-title":"Constraints"},{"issue":"9","key":"257_CR13","doi-asserted-by":"publisher","first-page":"1182","DOI":"10.1109\/TSMC.2014.2300055","volume":"44","author":"C Combi","year":"2014","unstructured":"Combi, C., Gambini, M., Migliorini, S., Posenato, R.: Representing business processes through a temporal data-centric workflow modeling language: an application to the management of clinical pathways. IEEE Trans. Syst. Man Cybern. Syst. 44(9), 1182\u20131203 (2014). doi: 10.1109\/TSMC.2014.2300055","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"issue":"2","key":"257_CR14","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/2240166.2240169","volume":"7","author":"C Combi","year":"2012","unstructured":"Combi, C., Gozzi, M., Posenato, R., Pozzi, G.: Conceptual modeling of flexible temporal workflows. ACM Trans. Autono. Adapt. Syst. (TAAS) 7(2), 19 (2012). doi: 10.1145\/2240166.2240169","journal-title":"ACM Trans. Autono. Adapt. Syst. (TAAS)"},{"key":"257_CR15","unstructured":"Combi, C., Hunsberger, L., Posenato, R.: An algorithm for checking the dynamic controllability of a conditional simple temporal network with uncertainty. In: Filipe, J., Fred, A.L.N. (eds.) ICAART 2013\u2014Proceedings of the 5th International Conference on Agents and Artificial Intelligence, vol. 2, Barcelona, Spain, 15\u201318 February, 2013, pp. 144\u2013156. SciTePress (2013)"},{"key":"257_CR16","doi-asserted-by":"publisher","unstructured":"Combi, C., Posenato, R.: Controllability in temporal conceptual workflow schemata. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8\u201310, 2009. Proceedings, Lecture Notes in Computer Science, vol. 5701, pp. 64\u201379. Springer (2009). doi: 10.1007\/978-3-642-03848-8_6","DOI":"10.1007\/978-3-642-03848-8_6"},{"key":"257_CR17","doi-asserted-by":"crossref","unstructured":"Combi, C., Pozzi, G.: Architectures for a temporal workflow management system. In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC-2004), pp. 659\u2013666. ACM, New York (2004)","DOI":"10.1145\/967900.968040"},{"key":"257_CR18","doi-asserted-by":"publisher","unstructured":"Comin, C., Posenato, R., Rizzi, R.: A tractable generalization of simple temporal networks and its relation to mean payoff games. In: Cesta, A., Combi, C., Laroussinie, F. (eds.) 21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8\u201310, 2014, pp. 7\u201316. IEEE Computer Society (2014). doi: 10.1109\/TIME.2014.19","DOI":"10.1109\/TIME.2014.19"},{"key":"257_CR19","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R Dechter","year":"1991","unstructured":"Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artif. Intell. 49, 61\u201395 (1991)","journal-title":"Artif. Intell."},{"key":"257_CR20","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/3-540-48738-7_22","volume-title":"Advanced Information Systems Engineering, LNCS","author":"J Eder","year":"1999","unstructured":"Eder, J., Panagos, E., Rabinovich, M.: Time constraints in workflow systems. In: Jarke, M., Oberweis, A. (eds.) Advanced Information Systems Engineering, LNCS, vol. 1626, pp. 286\u2013300. Springer, Berlin (1999)"},{"key":"257_CR21","unstructured":"Hollingsworth, D.: The workflow reference model. http:\/\/www.wfmc.org\/standards\/model.htm (1995)"},{"key":"257_CR22","doi-asserted-by":"publisher","unstructured":"Hunsberger, L.: Fixing the semantics for dynamic controllability and providing a more practical characterization of dynamic execution strategies. In: Lutz, C., Raskin, J. (eds.) TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23\u201325 July 2009, Proceedings, pp. 155\u2013162. IEEE Computer Society (2009). doi: 10.1109\/TIME.2009.25","DOI":"10.1109\/TIME.2009.25"},{"key":"257_CR23","doi-asserted-by":"publisher","unstructured":"Hunsberger, L.: A fast incremental algorithm for managing the execution of dynamically controllable temporal networks. In: Markey, N., Wijsen, J. (eds.) TIME 2010\u201317th International Symposium on Temporal Representation and Reasoning, Paris, France, 6\u20138 September 2010, pp. 121\u2013128. IEEE Computer Society (2010). doi: 10.1109\/TIME.2010.16","DOI":"10.1109\/TIME.2010.16"},{"key":"257_CR24","doi-asserted-by":"publisher","unstructured":"Hunsberger, L.: A faster execution algorithm for dynamically controllable stnus. In: S\u00e1nchez, C., Venable, K.B., Zim\u00e1nyi, E. (eds.) 2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26\u201328, 2013, pp. 26\u201333. IEEE Computer Society (2013). doi: 10.1109\/TIME.2013.13","DOI":"10.1109\/TIME.2013.13"},{"key":"257_CR25","doi-asserted-by":"publisher","unstructured":"Hunsberger, L.: A faster algorithm for checking the dynamic controllability of simple temporal networks with uncertainty. In: Duval, B., van den Herik, H.J., Loiseau, S., Filipe, J. (eds.) ICAART 2014 - Proceedings of the 6th International Conference on Agents and Artificial Intelligence, vol. 1, ESEO, Angers, Loire Valley, France, 6\u20138 March, 2014, pp. 63\u201373. SciTePress (2014). doi: 10.5220\/0004758100630073","DOI":"10.5220\/0004758100630073"},{"key":"257_CR26","unstructured":"Hunsberger, L., Posenato, R., Combi, C.: The dynamic controllability of conditional STNs with uncertainty. In: Proceedings of the Workshop on Planning and Plan Execution for Real-World Systems: Principles and Practices (PlanEx) at ICAPS-2012, pp. 1\u20138 (2012). arXiv:1212.2005"},{"key":"257_CR27","volume-title":"Mathematical Logic","author":"S Kleene","year":"1967","unstructured":"Kleene, S.: Mathematical Logic. Wiley, Hoboken (1967)"},{"key":"257_CR28","doi-asserted-by":"publisher","unstructured":"Lanz, A., Posenato, R., Combi, C., Reichert, M.: Controllability of time-aware processes at run time. In: Meersman, R., Panetto, H., Dillon, T.S., Eder, J., Bellahsene, Z., Ritter, N., Leenheer, P.D., Dou, D. (eds.) On the Move to Meaningful Internet Systems: OTM 2013 Conferences\u2014Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9\u201313, 2013. Proceedings, Lecture Notes in Computer Science, vol. 8185, pp. 39\u201356. Springer (2013). doi: 10.1007\/978-3-642-41030-7_4","DOI":"10.1007\/978-3-642-41030-7_4"},{"key":"257_CR29","doi-asserted-by":"crossref","unstructured":"Lanz, A., Posenato, R., Combi, C., Reichert, M.: Simple temporal networks with partially shrinkable uncertainty. In: Loiseau, S., Filipe, J., Duval, B., van den Herik, H.J. (eds.) ICAART 2015\u2014Proceedings of the International Conference on Agents and Artificial Intelligence, vol. 2, Lisbon, Portugal, 10\u201312 January, 2015, pp. 370\u2013381. SciTePress (2015)","DOI":"10.5220\/0005200903700381"},{"key":"257_CR30","doi-asserted-by":"crossref","unstructured":"Lanz, A., Weber, B., Reichert, M.: Workflow time patterns for process-aware information systems. In: Mylopoulos, J., Sadeh, N.M., Shaw, M.J., Szyperski, C., Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Ukor, R. (eds.) Enterprise, Business-Process and Information Systems Modeling 11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, pp. 94\u2013107. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13051-9_9"},{"key":"257_CR31","volume-title":"Elements of the Theory of Computation","author":"HR Lewis","year":"1998","unstructured":"Lewis, H.R., Papadimitriou, C.H.: Elements of the Theory of Computation, 2nd edn. Prentice-Hall Inc, Upper Saddle River (1998)","edition":"2"},{"key":"257_CR32","doi-asserted-by":"crossref","unstructured":"Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems. In: STACS, pp. 229\u2013242 (1995)","DOI":"10.1007\/3-540-59042-0_76"},{"key":"257_CR33","doi-asserted-by":"crossref","unstructured":"Morris, P.: A structural characterization of temporal dynamic controllability. In: Principles and Practice of Constraint Programming (CP-2006), Lecture Notes in Computer Science, vol. 4204, pp. 375\u2013389. Springer (2006)","DOI":"10.1007\/11889205_28"},{"key":"257_CR34","doi-asserted-by":"crossref","unstructured":"Morris, P.: Dynamic controllability and dispatchability relationships. In: Simonis, H. (ed.) Integration of AI and OR Techniques in Constraint Programming\u201411th International Conference (CPAIOR-2014), Lecture Notes in Computer Science, vol. 8451, pp. 464\u2013479. Springer (2014)","DOI":"10.1007\/978-3-319-07046-9_33"},{"key":"257_CR35","unstructured":"Morris, P., Muscettola, N., Vidal, T.: Dynamic control of plans with temporal uncertainty. In: Nebel, B. (ed.) Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-2001), pp. 494\u2013499. Morgan Kaufmann (2001)"},{"key":"257_CR36","unstructured":"Morris, P.H., Muscettola, N.: Temporal dynamic controllability revisited. In: AAAI, pp. 1193\u20131198 (2005)"},{"key":"257_CR37","doi-asserted-by":"crossref","unstructured":"Orlandini, A., Finzi, A., Cesta, A., Fratini, S.: TGA-based controllers for flexible plan execution. In: KI, no. 7006 in LNAI, pp. 233\u2013245. Springer (2011)","DOI":"10.1007\/978-3-642-24455-1_22"},{"key":"257_CR38","doi-asserted-by":"crossref","unstructured":"Peintner, B., Venable, K.B., Yorke-Smith, N.: Strong controllability of disjunctive temporal problems with uncertainty. In: Principles and Practice of Constraint Programming (CP-2007), pp. 856\u2013863 (2007)","DOI":"10.1007\/978-3-540-74970-7_64"},{"key":"257_CR39","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1613\/jair.2135","volume":"27","author":"F Rossi","year":"2006","unstructured":"Rossi, F., Venable, K.B., Yorke-Smith, N.: Uncertainty in soft temporal constraint problems: a general framework and controllability algorithms for the fuzzy case. J. Artif. Intell. Res. 27, 617\u2013674 (2006)","journal-title":"J. Artif. Intell. Res."},{"key":"257_CR40","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0004-3702(03)00113-9","volume":"151","author":"I Tsamardinos","year":"2003","unstructured":"Tsamardinos, I., Pollack, M.E.: Efficient solution techniques for disjunctive temporal reasoning problems. Artif. Intell. 151, 43\u201389 (2003)","journal-title":"Artif. Intell."},{"issue":"4","key":"257_CR41","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1023\/A:1025894003623","volume":"8","author":"I Tsamardinos","year":"2003","unstructured":"Tsamardinos, I., Vidal, T., Pollack, M.: CTP: a new constraint-based formalism for conditional, temporal planning. Constraints 8(4), 365\u2013388 (2003)","journal-title":"Constraints"},{"key":"257_CR42","unstructured":"Venable, K.B., Volpato, M., Peintner, B., Yorke-Smith, N.: Weak and dynamic controllability of temporal problems with disjunctions and uncertainty. In: Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS-2010) in ICAPS-2010, pp. 50\u201359 (2010)"},{"key":"257_CR43","unstructured":"Venable, K.B., Yorke-Smith, N.: Disjunctive temporal planning with uncertainty. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-2005), pp. 1721\u20131722 (2005)"},{"key":"257_CR44","unstructured":"Vidal, T.: Controllability characterization and checking in contingent temporal constraint networks. In: KR, pp. 559\u2013570 (2000)"},{"key":"257_CR45","doi-asserted-by":"crossref","unstructured":"Vidal, T., Fargier, H.: Contingent durations in temporal CSPS: from consistency to controllabilities. In: Proceedings of the 4th International Symposium on Temporal Representation and Reasoning (TIME-1997) (1997)","DOI":"10.1109\/TIME.1997.600786"},{"issue":"1","key":"257_CR46","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1080\/095281399146607","volume":"11","author":"T Vidal","year":"1999","unstructured":"Vidal, T., Fargier, H.: Handling contingency in temporal constraint networks: from consistency to controllabilities. J. Exp. Theor. Artif. Intell. 11(1), 23\u201345 (1999)","journal-title":"J. Exp. Theor. Artif. Intell."},{"key":"257_CR47","unstructured":"Vidal, T., Ghallab, M.: Temporal constraints in planning: free or not free? In: Proceedings of the International Workshop on Constraint-Based Reasoning (CONSTRAINT-1995) in FLAIRS-1995 (1995)"},{"key":"257_CR48","unstructured":"Vidal, T., Ghallab, M.: Dealing with uncertain durations in temporal constraint networks dedicated to planning. In: Wahlster, W. (ed.) Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-1996), pp. 48\u201354. Wiley, Chichester (1996)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0257-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-016-0257-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0257-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0257-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T18:06:31Z","timestamp":1692209191000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-016-0257-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,1]]},"references-count":48,"journal-issue":{"issue":"6-8","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["257"],"URL":"https:\/\/doi.org\/10.1007\/s00236-016-0257-2","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2,1]]}}}