{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T10:08:03Z","timestamp":1777716483591,"version":"3.51.4"},"reference-count":29,"publisher":"SAGE Publications","issue":"8","license":[{"start":{"date-parts":[[2014,5,19]],"date-time":"2014-05-19T00:00:00Z","timestamp":1400457600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["The International Journal of Robotics Research"],"published-print":{"date-parts":[[2014,7]]},"abstract":"<jats:p>In this paper, we consider automatic computation of optimal control strategies for a robot interacting with a set of independent uncontrollable agents in a graph-like environment. The mission specification is given as a syntactically co-safe Linear Temporal Logic formula over some properties that hold at the vertices of the environment. The robot is assumed to be a deterministic transition system, while the agents are probabilistic Markov models. The goal is to control the robot such that the probability of satisfying the mission specification is maximized. We propose a computationally efficient incremental algorithm based on the fact that temporal logic verification is computationally cheaper than synthesis. We present several case studies where we compare our approach to the classical non-incremental approach in terms of computation time and memory usage.<\/jats:p>","DOI":"10.1177\/0278364913519000","type":"journal-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T01:58:33Z","timestamp":1400551113000},"page":"1130-1144","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":22,"title":["Incremental controller synthesis in probabilistic environments with temporal logic constraints"],"prefix":"10.1177","volume":"33","author":[{"given":"Alphan","family":"Ulusoy","sequence":"first","affiliation":[{"name":"Division of Systems Engineering, Boston University, Boston, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tichakorn","family":"Wongpiromsarn","sequence":"additional","affiliation":[{"name":"Singapore\u2013MIT Alliance for Research and Technology, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[{"name":"Division of Systems Engineering, Boston University, Boston, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2014,5,19]]},"reference":[{"key":"bibr1-0278364913519000","volume-title":"Formal verification of probabilistic systems","author":"Alfaro L","year":"1997"},{"key":"bibr2-0278364913519000","volume-title":"Principles of Model Checking","author":"Baier C","year":"2008"},{"key":"bibr3-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2009.09.006"},{"key":"bibr4-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717440"},{"key":"bibr5-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60692-0_70"},{"key":"bibr6-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160740"},{"key":"bibr7-0278364913519000","volume-title":"Model Checking","author":"Clarke EM","year":"1999"},{"key":"bibr8-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161122"},{"key":"bibr9-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"bibr10-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993506"},{"key":"bibr11-0278364913519000","first-page":"11","volume-title":"Proceedings of the 7th Python in science conference (SciPy 2008)","author":"Hagberg AA","year":"2008"},{"key":"bibr12-0278364913519000","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft JE","year":"2007"},{"key":"bibr13-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795198"},{"key":"bibr14-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-012-9301-4"},{"key":"bibr15-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_21"},{"key":"bibr16-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"bibr17-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"bibr18-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"bibr19-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46002-0_5"},{"key":"bibr20-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2172150"},{"key":"bibr21-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44829-2_5"},{"key":"bibr22-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.22"},{"key":"bibr23-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"bibr24-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_5"},{"key":"bibr25-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717316"},{"key":"bibr26-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426346"},{"key":"bibr27-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755968"},{"key":"bibr28-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2012.6385575"},{"key":"bibr29-0278364913519000","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631293"}],"container-title":["The International Journal of Robotics Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0278364913519000","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/0278364913519000","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0278364913519000","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:18:32Z","timestamp":1777457912000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0278364913519000"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,19]]},"references-count":29,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["10.1177\/0278364913519000"],"URL":"https:\/\/doi.org\/10.1177\/0278364913519000","relation":{},"ISSN":["0278-3649","1741-3176"],"issn-type":[{"value":"0278-3649","type":"print"},{"value":"1741-3176","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,5,19]]}}}