{"id":"https://openalex.org/W1986417217","doi":"https://doi.org/10.1145/2728606.2728635","title":"Cross-entropy temporal logic motion planning","display_name":"Cross-entropy temporal logic motion planning","publication_year":2015,"publication_date":"2015-04-14","ids":{"openalex":"https://openalex.org/W1986417217","doi":"https://doi.org/10.1145/2728606.2728635","mag":"1986417217"},"language":"en","primary_location":{"id":"doi:10.1145/2728606.2728635","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2728606.2728635","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":"article","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/A5001613291","display_name":"Scott C. Livingston","orcid":"https://orcid.org/0000-0003-2679-8818"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Scott C. Livingston","raw_affiliation_strings":["California Institute of Technology, Pasadena, CA","[California Institute of Technology, Pasadena, CA]"],"affiliations":[{"raw_affiliation_string":"California Institute of Technology, Pasadena, CA","institution_ids":["https://openalex.org/I122411786"]},{"raw_affiliation_string":"[California Institute of Technology, Pasadena, CA]","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065869782","display_name":"Eric M. Wolff","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eric M. Wolff","raw_affiliation_strings":["nuTonomy LLC, Cambridge, MA"],"affiliations":[{"raw_affiliation_string":"nuTonomy LLC, Cambridge, MA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068600217","display_name":"Richard M. Murray","orcid":"https://orcid.org/0000-0002-5785-7481"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Richard M. Murray","raw_affiliation_strings":["California Institute of Technology, Pasadena, CA","[California Institute of Technology, Pasadena, CA]"],"affiliations":[{"raw_affiliation_string":"California Institute of Technology, Pasadena, CA","institution_ids":["https://openalex.org/I122411786"]},{"raw_affiliation_string":"[California Institute of Technology, Pasadena, CA]","institution_ids":["https://openalex.org/I122411786"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5001613291"],"corresponding_institution_ids":["https://openalex.org/I122411786"],"apc_list":null,"apc_paid":null,"fwci":3.633,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.9311859,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"269","last_page":"278"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9868999719619751,"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/trajectory","display_name":"Trajectory","score":0.6721385717391968},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.617178738117218},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5957192778587341},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5725463628768921},{"id":"https://openalex.org/keywords/entropy","display_name":"Entropy (arrow of time)","score":0.5121724605560303},{"id":"https://openalex.org/keywords/trajectory-optimization","display_name":"Trajectory optimization","score":0.5071797370910645},{"id":"https://openalex.org/keywords/cross-entropy","display_name":"Cross entropy","score":0.4999046325683594},{"id":"https://openalex.org/keywords/principle-of-maximum-entropy","display_name":"Principle of maximum entropy","score":0.4766410291194916},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.46375516057014465},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.43131351470947266},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4183197617530823},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33686792850494385},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.24907979369163513},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1927100419998169},{"id":"https://openalex.org/keywords/optimal-control","display_name":"Optimal control","score":0.11187517642974854}],"concepts":[{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.6721385717391968},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.617178738117218},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5957192778587341},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5725463628768921},{"id":"https://openalex.org/C106301342","wikidata":"https://www.wikidata.org/wiki/Q4117933","display_name":"Entropy (arrow of time)","level":2,"score":0.5121724605560303},{"id":"https://openalex.org/C173246807","wikidata":"https://www.wikidata.org/wiki/Q7833062","display_name":"Trajectory optimization","level":3,"score":0.5071797370910645},{"id":"https://openalex.org/C167981619","wikidata":"https://www.wikidata.org/wiki/Q1685498","display_name":"Cross entropy","level":3,"score":0.4999046325683594},{"id":"https://openalex.org/C9679016","wikidata":"https://www.wikidata.org/wiki/Q1417473","display_name":"Principle of maximum entropy","level":2,"score":0.4766410291194916},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.46375516057014465},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.43131351470947266},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4183197617530823},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33686792850494385},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24907979369163513},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1927100419998169},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.11187517642974854},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0},{"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/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2728606.2728635","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2728606.2728635","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"},{"id":"pmh:oai:authors.library.caltech.edu:55595","is_oa":false,"landing_page_url":"https://resolver.caltech.edu/CaltechCDSTR:2015.002","pdf_url":null,"source":{"id":"https://openalex.org/S4306402161","display_name":"CaltechAUTHORS (California Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I122411786","host_organization_name":"California Institute of Technology","host_organization_lineage":["https://openalex.org/I122411786"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Report or Paper"},{"id":"pmh:oai:authors.library.caltech.edu:72350","is_oa":false,"landing_page_url":"https://authors.library.caltech.edu/72350/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402161","display_name":"CaltechAUTHORS (California Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I122411786","host_organization_name":"California Institute of Technology","host_organization_lineage":["https://openalex.org/I122411786"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Book Section"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W125598877","https://openalex.org/W175120007","https://openalex.org/W1424654272","https://openalex.org/W1489725951","https://openalex.org/W1498432697","https://openalex.org/W1527587747","https://openalex.org/W1562978104","https://openalex.org/W1783413852","https://openalex.org/W1970927851","https://openalex.org/W1979649888","https://openalex.org/W2027769154","https://openalex.org/W2039287452","https://openalex.org/W2064572756","https://openalex.org/W2071797744","https://openalex.org/W2087107980","https://openalex.org/W2090528409","https://openalex.org/W2091682553","https://openalex.org/W2095901198","https://openalex.org/W2112656403","https://openalex.org/W2114578185","https://openalex.org/W2117218135","https://openalex.org/W2132083787","https://openalex.org/W2141789581","https://openalex.org/W2150335178","https://openalex.org/W2233446961","https://openalex.org/W2470025776","https://openalex.org/W2611243847","https://openalex.org/W3151793825","https://openalex.org/W4285719527","https://openalex.org/W6629784141"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W2763487042","https://openalex.org/W3021103820","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2077520193","https://openalex.org/W3035590440"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,54,76,91,94,119,151],"method":[4,120],"for":[5,9,31,121],"optimal":[6,32,46],"trajectory":[7,33,77,92],"generation":[8],"discrete-time":[10],"nonlinear":[11],"systems":[12],"with":[13],"linear":[14],"temporal":[15,158],"logic":[16,159],"(LTL)":[17],"task":[18,160],"specifications.":[19,161],"Our":[20,140],"approach":[21,141],"is":[22,49,71,78,142],"based":[23],"on":[24,38],"recent":[25],"advances":[26],"in":[27,103,106],"stochastic":[28,68],"optimization":[29,69],"algorithms":[30,70],"generation.":[34],"These":[35],"methods":[36],"rely":[37],"estimation":[39],"of":[40,44,66,109,125,134],"the":[41,61,107,110,114,131,137],"rare":[42],"event":[43],"sampling":[45,55],"trajectories,":[47],"which":[48],"achieved":[50],"by":[51],"incrementally":[52],"improving":[53],"distribution":[56],"so":[57],"as":[58],"to":[59,85,156],"minimize":[60],"cross-entropy.":[62],"A":[63],"key":[64],"component":[65],"these":[67],"determining":[72],"whether":[73,88],"or":[74,89],"not":[75,90],"collision-free.":[79],"We":[80,116],"generalize":[81],"this":[82,98],"collision":[83],"checking":[84],"efficiently":[86,122],"verify":[87],"satisfies":[93],"LTL":[95,111],"formula.":[96],"Interestingly,":[97],"verification":[99],"can":[100],"be":[101],"done":[102],"time":[104],"polynomial":[105],"length":[108],"formula":[112],"and":[113,150],"trajectory.":[115],"also":[117],"propose":[118],"re-using":[123],"parts":[124],"trajectories":[126],"that":[127],"only":[128],"partially":[129],"satisfy":[130],"specification,":[132],"instead":[133],"simply":[135],"discarding":[136],"entire":[138],"sample.":[139],"demonstrated":[143],"through":[144],"numerical":[145],"experiments":[146],"involving":[147],"Dubins":[148],"car":[149],"generic":[152],"point-mass":[153],"model":[154],"subject":[155],"complex":[157]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":4}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}