{"id":"https://openalex.org/W1996295354","doi":"https://doi.org/10.1145/2728606.2728617","title":"Temporal logic motion planning using POMDPs with parity objectives","display_name":"Temporal logic motion planning using POMDPs with parity objectives","publication_year":2015,"publication_date":"2015-04-14","ids":{"openalex":"https://openalex.org/W1996295354","doi":"https://doi.org/10.1145/2728606.2728617","mag":"1996295354"},"language":"en","primary_location":{"id":"doi:10.1145/2728606.2728617","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2728606.2728617","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"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/A5089563210","display_name":"M\u00e1ria Svore\u0148ov\u00e1","orcid":null},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"M\u00e1ria Svore\u0148ov\u00e1","raw_affiliation_strings":["Masaryk University, Brno, Czech republic","(Masaryk University, Brno, Czech Republic)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Masaryk University, Brno, Czech republic","institution_ids":["https://openalex.org/I21449261"]},{"raw_affiliation_string":"(Masaryk University, Brno, Czech Republic)","institution_ids":["https://openalex.org/I21449261"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056536627","display_name":"Martin Chmel\u00edk","orcid":null},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Martin Chmel\u00edk","raw_affiliation_strings":["IST Austria, Klosterneuburg, Austria","IST Austria, Klosterneuburg, Austria.;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]},{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria.;","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088911621","display_name":"Kevin Leahy","orcid":"https://orcid.org/0000-0001-5894-7190"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kevin Leahy","raw_affiliation_strings":["Boston University, Boston, MA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boston University, Boston, MA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010039671","display_name":"Hasan Ferit Eni\u015fer","orcid":"https://orcid.org/0000-0002-3259-8794"},"institutions":[{"id":"https://openalex.org/I4405392","display_name":"Bo\u011fazi\u00e7i University","ror":"https://ror.org/03z9tma90","country_code":"TR","type":"education","lineage":["https://openalex.org/I4405392"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Hasan Ferit Eniser","raw_affiliation_strings":["Bogazici University, Istanbul, Turkey"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Bogazici University, Istanbul, Turkey","institution_ids":["https://openalex.org/I4405392"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052607806","display_name":"Krishnendu Chatterjee","orcid":"https://orcid.org/0000-0002-4561-241X"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Krishnendu Chatterjee","raw_affiliation_strings":["IST Austria, Klosterneuburg, Austria","IST Austria, Klosterneuburg, Austria.;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]},{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria.;","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014178090","display_name":"Ivana \u010cern\u00e1","orcid":"https://orcid.org/0000-0002-0711-9552"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Ivana \u010cern\u00e1","raw_affiliation_strings":["Masaryk University, Brno, Czech republic","(Masaryk University, Brno, Czech Republic)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Masaryk University, Brno, Czech republic","institution_ids":["https://openalex.org/I21449261"]},{"raw_affiliation_string":"(Masaryk University, Brno, Czech Republic)","institution_ids":["https://openalex.org/I21449261"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086742095","display_name":"C\u0103lin Belta","orcid":"https://orcid.org/0000-0002-7141-2657"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Calin Belta","raw_affiliation_strings":["Boston University, Boston, MA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boston University, Boston, MA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.3245,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.92587437,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"233","last_page":"238"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9976000189781189,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/parity","display_name":"Parity (physics)","score":0.6877559423446655},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.631375253200531},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4377005100250244},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3746896982192993},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3265918493270874},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2310258150100708},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.22213655710220337},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.0826275646686554}],"concepts":[{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.6877559423446655},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.631375253200531},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4377005100250244},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3746896982192993},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3265918493270874},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2310258150100708},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.22213655710220337},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0826275646686554},{"id":"https://openalex.org/C109214941","wikidata":"https://www.wikidata.org/wiki/Q18334","display_name":"Particle physics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2728606.2728617","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2728606.2728617","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6800000071525574}],"awards":[{"id":"https://openalex.org/G150725574","display_name":null,"funder_award_id":"MURI N000141010952","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G4636813251","display_name":"NRI: Formal Methods for Motion Planning and Control with Human-in-the-Loop","funder_award_id":"1426907","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8224566418","display_name":null,"funder_award_id":"P23499- N23, NFN S11407-N23 (RiSE)","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G919640133","display_name":null,"funder_award_id":"Start grant (279307: Graph Games)","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W45766481","https://openalex.org/W125598877","https://openalex.org/W1482467703","https://openalex.org/W1498432697","https://openalex.org/W1522308973","https://openalex.org/W1532688806","https://openalex.org/W1636455720","https://openalex.org/W2031592188","https://openalex.org/W2032100464","https://openalex.org/W2040834199","https://openalex.org/W2047990226","https://openalex.org/W2094134654","https://openalex.org/W2099430963","https://openalex.org/W2101421095","https://openalex.org/W2106237563","https://openalex.org/W2135776689","https://openalex.org/W2165161585","https://openalex.org/W2165726630","https://openalex.org/W2295605012","https://openalex.org/W2336416123","https://openalex.org/W2570990303","https://openalex.org/W2913459036","https://openalex.org/W2953327791","https://openalex.org/W2963889160","https://openalex.org/W4255985591","https://openalex.org/W6601831483","https://openalex.org/W6629784141","https://openalex.org/W6675657953","https://openalex.org/W6684644128","https://openalex.org/W6703161083"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2472109360"],"abstract_inverted_index":{"We":[0,36,54,69],"consider":[1],"a":[2,15,22,26,47,66,76,82,106],"case":[3],"study":[4],"of":[5,8,34,43],"the":[6,38,44,72],"problem":[7],"deploying":[9],"an":[10,96,100],"autonomous":[11,101],"air":[12],"vehicle":[13,45],"in":[14,95,105],"partially":[16,48],"observable,":[17],"dynamic,":[18],"indoor":[19],"environment":[20],"from":[21],"specification":[23],"given":[24],"as":[25,46],"linear":[27],"temporal":[28],"logic":[29],"(LTL)":[30],"formula":[31],"over":[32],"regions":[33],"interest.":[35],"model":[37],"motion":[39],"and":[40],"sensing":[41],"capabilities":[42],"observable":[49],"Markov":[50],"decision":[51],"process":[52],"(POMDP).":[53],"adapt":[55],"recent":[56],"results":[57],"for":[58],"solving":[59],"POMDPs":[60],"with":[61,75],"parity":[62],"objectives":[63],"to":[64,80],"generate":[65],"control":[67],"policy.":[68],"also":[70],"extend":[71],"existing":[73],"framework":[74],"policy":[77],"minimization":[78],"technique":[79],"obtain":[81],"better":[83],"implementable":[84],"policy,":[85],"while":[86],"preserving":[87],"its":[88],"correctness.":[89],"The":[90],"proposed":[91],"techniques":[92],"are":[93],"illustrated":[94],"experimental":[97],"setup":[98],"involving":[99],"quadrotor":[102],"performing":[103],"surveillance":[104],"dynamic":[107],"environment.":[108]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}