{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,21]],"date-time":"2023-11-21T08:47:17Z","timestamp":1700556437342},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2010,4,1]],"date-time":"2010-04-01T00:00:00Z","timestamp":1270080000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern. B"],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1109\/tsmcb.2009.2025657","type":"journal-article","created":{"date-parts":[[2009,8,7]],"date-time":"2009-08-07T15:01:49Z","timestamp":1249657309000},"page":"412-420","source":"Crossref","is-referenced-by-count":4,"title":["Active Learning of Plans for Safety and Reachability Goals With Partial Observability"],"prefix":"10.1109","volume":"40","author":[{"family":"Wonhong Nam","sequence":"first","affiliation":[]},{"given":"R.","family":"Alur","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","author":"wonham","year":"1999","journal-title":"Notes on Control of Discrete-Event Systems"},{"key":"ref38","author":"fabian","year":"2006","journal-title":"Discrete Event Systems"},{"key":"ref33","first-page":"69","article-title":"pomdp planning for robust robot control","author":"pineau","year":"2005","journal-title":"Proc 12th ISRR"},{"key":"ref32","first-page":"431","article-title":"conditional progressive planning under uncertainty","author":"karlsson","year":"2001","journal-title":"Proc 17th IJCAI"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2008.920998"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/3477.990873"},{"key":"ref37","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3897.001.0001","author":"kearns","year":"1994","journal-title":"An Introduction to Computational Learning Theory"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1137\/S0895480198340943"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(91)90016-X"},{"key":"ref34","first-page":"345","article-title":"reinforcement learning algorithm for partially observable markov decision problems","author":"jaakkola","year":"1994","journal-title":"Proc NIPS 7"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1613\/jair.591","article-title":"constructing conditional plans by a theorem prover","volume":"10","author":"rintanen","year":"1999","journal-title":"J Artif Intell Res"},{"key":"ref40","first-page":"82","article-title":"stct: an efficient algorithm for supervisory control design","author":"zhang","year":"2001","journal-title":"Proc SCODES"},{"key":"ref11","first-page":"52","article-title":"planning with incomplete information as heuristic search in belief space","author":"bonet","year":"2000","journal-title":"Proc AIPS"},{"key":"ref12","first-page":"473","article-title":"planning in nondeterministic domains under partial observability via symbolic model checking","author":"bertoli","year":"2001","journal-title":"Proc 17th IJCAI"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1021"},{"key":"ref15","first-page":"516","article-title":"mocha: modularity in model checking","author":"alur","year":"1998","journal-title":"Proc 10th Int Conf CAV"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"ref17","first-page":"215","article-title":"a framework for planning with extended goals under partial observability","author":"bertoli","year":"2003","journal-title":"Proc 12th ICAP"},{"key":"ref18","first-page":"270","article-title":"planning with extended goals and partial observability","author":"bertoli","year":"2004","journal-title":"Proc 14th ICAPS"},{"key":"ref19","first-page":"359","article-title":"nusmv version 2: an opensource tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"Proc 14th Int Conf CAV"},{"key":"ref28","first-page":"253","article-title":"symbolic techniques for planning with extended goals in nondeterministic domains","author":"postore","year":"2001","journal-title":"Proc 6th ECP"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018985923441"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00071-5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00374-0"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1023\/A:1016619613658","article-title":"talplanner: a temporal-logic-based forward chaining planner","volume":"30","author":"kvarnstrom","year":"2001","journal-title":"Ann Math Artif Intell"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2004.834434"},{"key":"ref5","first-page":"124","article-title":"bounded model search in linear temporal logic and its application to planning","author":"cerrito","year":"1998","journal-title":"Proc 7th Int Conf Analytic Tableaux Related Methods"},{"key":"ref8","first-page":"593","article-title":"reasoning about action and planning in ltl action theories","author":"calvanese","year":"2002","journal-title":"Proc 8th Int Conf KR"},{"key":"ref7","first-page":"479","article-title":"planning as model checking for extended goals in nondeterministic domains","author":"postore","year":"2001","journal-title":"Proc 17th IJCAI"},{"key":"ref2","first-page":"103","article-title":"ucpop: a sound, complete, partial-order planner for adl","author":"penberthy","year":"1992","journal-title":"Proc 3rd Int Conf KR"},{"key":"ref9","first-page":"897","article-title":"extending graphplan to handle uncertainty and sensing actions","author":"weld","year":"1998","journal-title":"Proc 15th Nat Conf Artif Intell (AAAI)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"ref20","first-page":"35","article-title":"automata-theoretic approach to planning with temporally extended goals","author":"de giacomo","year":"1999","journal-title":"Proc 5th ECP"},{"key":"ref45","author":"mcdermott","year":"1989","journal-title":"Pddl the planning domain definition language"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00031-3"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1613\/jair.277","article-title":"planning for contingency: a decision-based approach","volume":"4","author":"pryor","year":"1996","journal-title":"J Artif Intell Res"},{"key":"ref42","first-page":"93","article-title":"mbp: a model-based planner","author":"bertoli","year":"2001","journal-title":"Proc IJCAI Workshop Planning Under Uncertainty Incomplete Inf"},{"key":"ref24","first-page":"130","article-title":"planning via model checking: a decision procedure for ar","author":"cimatti","year":"1997","journal-title":"Proc 4th ECP"},{"key":"ref41","author":"tanenbaum","year":"1992","journal-title":"Modern Operating Systems"},{"key":"ref23","first-page":"875","article-title":"automatic obdd-based generation of universal plans in nondeterministic domains","author":"cimatti","year":"1998","journal-title":"Proc 15th Nat Conf Artif Intell (AAAI)"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0055-8"},{"key":"ref26","first-page":"91","article-title":"synthesis with incomplete information","author":"kupferman","year":"1997","journal-title":"Proc 2nd Int Conf Temporal Logic"},{"key":"ref43","first-page":"548","article-title":"symbolic compositional verification by learning assumptions","author":"alur","year":"2005","journal-title":"Proc 17th Int Conf CAV"},{"key":"ref25","first-page":"1","author":"asarin","year":"1995","journal-title":"Hybrid Systems II"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/3477\/5431005\/05191111.pdf?arnumber=5191111","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:59:08Z","timestamp":1633910348000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5191111\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":45,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tsmcb.2009.2025657","relation":{},"ISSN":["1083-4419"],"issn-type":[{"value":"1083-4419","type":"print"}],"subject":[],"published":{"date-parts":[[2010,4]]}}}