{"id":"https://openalex.org/W2136116557","doi":null,"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-01-01","ids":{"openalex":"https://openalex.org/W2136116557","mag":"2136116557"},"language":"en","primary_location":{"id":"mag:2136116557","doi":null,"is_oa":false,"landing_page_url":"https://sites.bu.edu/hyness/files/2015/08/HSCC2015-POMDP-Maja.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"M\u00e1ria Svore\u0148ov\u00e1","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056536627","display_name":"Martin Chmel\u00edk","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martin Chmel\u00edk","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088911621","display_name":"Kevin Leahy","orcid":"https://orcid.org/0000-0001-5894-7190","observed_orcids":["https://orcid.org/0000-0001-5894-7190"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kevin Leahy","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-5894-7190","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010039671","display_name":"Hasan Ferit Eni\u015fer","orcid":"https://orcid.org/0000-0002-3259-8794","observed_orcids":["https://orcid.org/0000-0002-3259-8794"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hasan Ferit Eni\u015fer","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-3259-8794","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052607806","display_name":"Krishnendu Chatterjee","orcid":"https://orcid.org/0000-0002-4561-241X","observed_orcids":["https://orcid.org/0000-0002-4561-241X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Krishnendu Chatterjee","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014178090","display_name":"Ivana \u010cern\u00e1","orcid":"https://orcid.org/0000-0002-0711-9552","observed_orcids":["https://orcid.org/0000-0002-0711-9552"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ivana \u010cern\u00e1","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-0711-9552","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5086742095","display_name":"Calin A. Belta","orcid":"https://orcid.org/0000-0002-7141-2657","observed_orcids":["https://orcid.org/0000-0002-7141-2657"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"C\u0103lin Belta","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-7141-2657","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.215,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.75851618,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"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.7279999852180481,"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.7279999852180481,"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.17990000545978546,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.027699999511241913,"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/linear-temporal-logic","display_name":"linear temporal logic","score":0.8640000224113464},{"id":"https://openalex.org/keywords/partially-observable-markov-decision-processes","display_name":"partially observable Markov decision processes","score":0.9440000057220459},{"id":"https://openalex.org/keywords/parity-objectives","display_name":"parity objectives","score":0.9909999966621399},{"id":"https://openalex.org/keywords/autonomous-quadrotor","display_name":"autonomous quadrotor","score":0.8309999704360962},{"id":"https://openalex.org/keywords/indoor-surveillance","display_name":"indoor surveillance","score":0.48100000619888306},{"id":"https://openalex.org/keywords/dynamic-environments","display_name":"dynamic environments","score":0.7400000095367432}],"concepts":[{"id":"https://openalex.org/C17098449","wikidata":"https://www.wikidata.org/wiki/Q176814","display_name":"Partially observable Markov decision process","level":4,"score":0.836601972579956},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8334742784500122},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.7673677206039429},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.7503606081008911},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.6837961077690125},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6738148927688599},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6367025971412659},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.5389114022254944},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.5123571157455444},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.43231943249702454},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.42609208822250366},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3878721594810486},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3506511151790619},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.32598933577537537},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.27509739995002747},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26972460746765137},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19881990551948547},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1914001703262329},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18896782398223877},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C109214941","wikidata":"https://www.wikidata.org/wiki/Q18334","display_name":"Particle physics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2136116557","doi":null,"is_oa":false,"landing_page_url":"https://sites.bu.edu/hyness/files/2015/08/HSCC2015-POMDP-Maja.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W45766481","https://openalex.org/W125598877","https://openalex.org/W1482467703","https://openalex.org/W1522308973","https://openalex.org/W1532688806","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/W2165726630","https://openalex.org/W2295605012","https://openalex.org/W2336416123","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W2963889160"],"related_works":["https://openalex.org/W4382200339","https://openalex.org/W1482467703","https://openalex.org/W4221157702","https://openalex.org/W2997350486","https://openalex.org/W4367694449","https://openalex.org/W6945824180","https://openalex.org/W2124339220","https://openalex.org/W7161172442","https://openalex.org/W4393199726","https://openalex.org/W2950752995"],"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":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}