{"id":"https://openalex.org/W2127034303","doi":"https://doi.org/10.1109/tsmcb.2009.2025657","title":"Active Learning of Plans for Safety and Reachability Goals With Partial Observability","display_name":"Active Learning of Plans for Safety and Reachability Goals With Partial Observability","publication_year":2009,"publication_date":"2009-08-07","ids":{"openalex":"https://openalex.org/W2127034303","doi":"https://doi.org/10.1109/tsmcb.2009.2025657","mag":"2127034303","pmid":"https://pubmed.ncbi.nlm.nih.gov/19661004"},"language":"en","primary_location":{"id":"doi:10.1109/tsmcb.2009.2025657","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmcb.2009.2025657","pdf_url":null,"source":{"id":"https://openalex.org/S4210170378","display_name":"IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)","issn_l":"1083-4419","issn":["1083-4419","1941-0492"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"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/A5032801269","display_name":"Wonhong Nam","orcid":"https://orcid.org/0000-0003-1450-347X"},"institutions":[{"id":"https://openalex.org/I24062138","display_name":"Konkuk University","ror":"https://ror.org/025h1m602","country_code":"KR","type":"education","lineage":["https://openalex.org/I24062138"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Wonhong Nam","raw_affiliation_strings":["College of Information & Communication, Konkuk University, Seoul 143-701, Korea. wnam@konkuk.ac.kr","Coll. of Inf. & Commun., Konkuk Univ., Seoul, South Korea"],"affiliations":[{"raw_affiliation_string":"College of Information & Communication, Konkuk University, Seoul 143-701, Korea. wnam@konkuk.ac.kr","institution_ids":["https://openalex.org/I24062138"]},{"raw_affiliation_string":"Coll. of Inf. & Commun., Konkuk Univ., Seoul, South Korea","institution_ids":["https://openalex.org/I24062138"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065059795","display_name":"Rajeev Alur","orcid":"https://orcid.org/0000-0003-1733-7083"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. Alur","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA","Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA ("],"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA (","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5032801269"],"corresponding_institution_ids":["https://openalex.org/I24062138"],"apc_list":null,"apc_paid":null,"fwci":0.3428,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.63009013,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"40","issue":"2","first_page":"412","last_page":"420"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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.9991999864578247,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9889000058174133,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.9151376485824585},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.8819906115531921},{"id":"https://openalex.org/keywords/permissive","display_name":"Permissive","score":0.8093763589859009},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.7347201108932495},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6981162428855896},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.6409067511558533},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.49033236503601074},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.38606229424476624},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.31960171461105347},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18055054545402527}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9151376485824585},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.8819906115531921},{"id":"https://openalex.org/C15224491","wikidata":"https://www.wikidata.org/wiki/Q7169338","display_name":"Permissive","level":2,"score":0.8093763589859009},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.7347201108932495},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6981162428855896},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.6409067511558533},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.49033236503601074},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38606229424476624},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31960171461105347},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18055054545402527},{"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","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/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tsmcb.2009.2025657","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmcb.2009.2025657","pdf_url":null,"source":{"id":"https://openalex.org/S4210170378","display_name":"IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)","issn_l":"1083-4419","issn":["1083-4419","1941-0492"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)","raw_type":"journal-article"},{"id":"pmid:19661004","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/19661004","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":62,"referenced_works":["https://openalex.org/W749729","https://openalex.org/W4789806","https://openalex.org/W42515457","https://openalex.org/W70402205","https://openalex.org/W142385736","https://openalex.org/W163778656","https://openalex.org/W185076788","https://openalex.org/W1482748162","https://openalex.org/W1484584685","https://openalex.org/W1489391022","https://openalex.org/W1496114564","https://openalex.org/W1520252399","https://openalex.org/W1527405706","https://openalex.org/W1527743161","https://openalex.org/W1547792609","https://openalex.org/W1548719231","https://openalex.org/W1552135236","https://openalex.org/W1552519843","https://openalex.org/W1554097383","https://openalex.org/W1569051713","https://openalex.org/W1584298272","https://openalex.org/W1590437595","https://openalex.org/W1596365597","https://openalex.org/W1596839599","https://openalex.org/W1599083726","https://openalex.org/W1916709771","https://openalex.org/W1984139896","https://openalex.org/W1989445634","https://openalex.org/W1994451575","https://openalex.org/W2007029921","https://openalex.org/W2029759785","https://openalex.org/W2033657926","https://openalex.org/W2048905609","https://openalex.org/W2114114829","https://openalex.org/W2119345544","https://openalex.org/W2124152208","https://openalex.org/W2130095256","https://openalex.org/W2135989067","https://openalex.org/W2140606869","https://openalex.org/W2141088850","https://openalex.org/W2155206435","https://openalex.org/W2160067530","https://openalex.org/W2337392266","https://openalex.org/W3098378096","https://openalex.org/W4285719527","https://openalex.org/W6600028639","https://openalex.org/W6600187994","https://openalex.org/W6602833444","https://openalex.org/W6606607156","https://openalex.org/W6629061853","https://openalex.org/W6631578627","https://openalex.org/W6632566187","https://openalex.org/W6632828433","https://openalex.org/W6635150122","https://openalex.org/W6635219419","https://openalex.org/W6635424537","https://openalex.org/W6635783346","https://openalex.org/W6635889333","https://openalex.org/W6658756224","https://openalex.org/W6682794043","https://openalex.org/W6683935339","https://openalex.org/W7020825883"],"related_works":["https://openalex.org/W2046459260","https://openalex.org/W2967463586","https://openalex.org/W2765830098","https://openalex.org/W1971989957","https://openalex.org/W3157641275","https://openalex.org/W2791750487","https://openalex.org/W1606997444","https://openalex.org/W2138317614","https://openalex.org/W1884874476","https://openalex.org/W2153544183"],"abstract_inverted_index":{"Traditional":[0],"planning":[1,20,26,45,60,75,94],"assumes":[2],"reachability":[3,19,33,69],"goals":[4],"and/or":[5],"full":[6],"observability.":[7,23],"In":[8],"this":[9],"paper,":[10],"we":[11,35,147],"propose":[12],"a":[13,25,28,32,38,98,142,151,156],"novel":[14],"solution":[15],"for":[16,113,179],"safety":[17,29,50],"and":[18,31,55,89,149,168],"with":[21],"partial":[22],"Given":[24],"domain,":[27],"property,":[30],"goal,":[34,70],"automatically":[36],"learn":[37],"safe":[39,99,121,143,152,157,176],"permissive":[40,126,144,158,177],"plan":[41,100,122,136],"to":[42,62,154],"guide":[43],"the":[44,49,59,68,74,83,102,120,135,165],"domain":[46,61,76],"so":[47],"that":[48,56,66,170],"property":[51],"is":[52,80,107,124,137,140],"not":[53],"violated":[54],"can":[57,173],"force":[58],"eventually":[63],"reach":[64],"states":[65],"satisfy":[67],"regardless":[71],"of":[72,86,164,182],"how":[73],"behaves.":[77],"Our":[78],"technique":[79,167],"based":[81],"on":[82],"active":[84,110],"learning":[85,111],"regular":[87,114],"languages":[88],"symbolic":[90],"model":[91,132],"checking.":[92,133],"The":[93],"method":[95],"first":[96],"learns":[97],"using":[101],"L":[103],"(*)":[104],"algorithm,":[105],"which":[106],"an":[108,162],"efficient":[109],"algorithm":[112],"languages.":[115],"We":[116,160],"then":[117],"check":[118],"whether":[119],"learned":[123],"also":[125],"by":[127],"Alternating-time":[128],"Temporal":[129],"Logic":[130],"(ATL)":[131],"If":[134],"permissive,":[138],"it":[139],"indeed":[141],"plan.":[145,159],"Otherwise,":[146],"identify":[148],"add":[150],"string":[153],"converge":[155],"describe":[161],"implementation":[163],"proposed":[166],"demonstrate":[169],"our":[171],"tool":[172],"efficiently":[174],"construct":[175],"plans":[178],"four":[180],"sets":[181],"examples.":[183]},"counts_by_year":[{"year":2021,"cited_by_count":4},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-01-13T01:12:25.745995","created_date":"2025-10-10T00:00:00"}