{"id":"https://openalex.org/W4407950048","doi":"https://doi.org/10.1109/cdc56724.2024.10886248","title":"Planning with Probabilistic Opacity and Transparency: A Computational Model of Opaque/Transparent Observations","display_name":"Planning with Probabilistic Opacity and Transparency: A Computational Model of Opaque/Transparent Observations","publication_year":2024,"publication_date":"2024-12-16","ids":{"openalex":"https://openalex.org/W4407950048","doi":"https://doi.org/10.1109/cdc56724.2024.10886248"},"language":"en","primary_location":{"id":"doi:10.1109/cdc56724.2024.10886248","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10886248","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 63rd Conference on Decision and Control (CDC)","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/A5077956132","display_name":"Sumukha Udupa","orcid":"https://orcid.org/0000-0002-7462-9843"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sumukha Udupa","raw_affiliation_strings":["University of Florida,Dept. of Electrical and Computer Engineering,Gainesvill,Fl,USA,32611"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida,Dept. of Electrical and Computer Engineering,Gainesvill,Fl,USA,32611","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101713885","display_name":"Jie Fu","orcid":"https://orcid.org/0000-0002-4494-843X"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jie Fu","raw_affiliation_strings":["University of Florida,Dept. of Electrical and Computer Engineering,Gainesvill,Fl,USA,32611"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida,Dept. of Electrical and Computer Engineering,Gainesvill,Fl,USA,32611","institution_ids":["https://openalex.org/I33213144"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I33213144"],"apc_list":null,"apc_paid":null,"fwci":0.5585,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.66741492,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"477","last_page":"484"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.3865000009536743,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.3865000009536743,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.3815000057220459,"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"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.3379000127315521,"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/opacity","display_name":"Opacity","score":0.9752016067504883},{"id":"https://openalex.org/keywords/transparency","display_name":"Transparency (behavior)","score":0.8246051073074341},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6638423800468445},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5326041579246521},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17003294825553894},{"id":"https://openalex.org/keywords/optics","display_name":"Optics","score":0.1570032835006714},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.10305818915367126},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09323376417160034}],"concepts":[{"id":"https://openalex.org/C60056205","wikidata":"https://www.wikidata.org/wiki/Q691914","display_name":"Opacity","level":2,"score":0.9752016067504883},{"id":"https://openalex.org/C2780233690","wikidata":"https://www.wikidata.org/wiki/Q535347","display_name":"Transparency (behavior)","level":2,"score":0.8246051073074341},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6638423800468445},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5326041579246521},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17003294825553894},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.1570032835006714},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.10305818915367126},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09323376417160034}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc56724.2024.10886248","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10886248","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 63rd Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320316514","display_name":"Arm","ror":"https://ror.org/04mmhzs81"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1562284768","https://openalex.org/W1992424076","https://openalex.org/W2001653139","https://openalex.org/W2031373068","https://openalex.org/W2037457229","https://openalex.org/W2040603575","https://openalex.org/W2052227055","https://openalex.org/W2061598829","https://openalex.org/W2073108636","https://openalex.org/W2076477141","https://openalex.org/W2090930915","https://openalex.org/W2115354781","https://openalex.org/W2142367687","https://openalex.org/W2162000948","https://openalex.org/W2768356411","https://openalex.org/W2901162916","https://openalex.org/W3037660916","https://openalex.org/W3041597941","https://openalex.org/W3214913876","https://openalex.org/W4314946907","https://openalex.org/W4322505016","https://openalex.org/W4390355835","https://openalex.org/W4392719125","https://openalex.org/W4405303383","https://openalex.org/W6629784141","https://openalex.org/W6635735814"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2161791806","https://openalex.org/W4366824690","https://openalex.org/W2613656770","https://openalex.org/W2482431380","https://openalex.org/W2073474947","https://openalex.org/W2082077321","https://openalex.org/W2053059436"],"abstract_inverted_index":{"The":[0],"qualitative":[1],"opacity":[2,119,153],"of":[3,42,82,97,143],"a":[4,7,13,22,35,43,88,130],"secret":[5,18,44],"is":[6,19],"security":[8],"property,":[9],"which":[10],"means":[11],"that":[12,38,72,92,99],"system":[14],"trajectory":[15,23],"satisfying":[16],"the":[17,25,40,62,74,77,80,83,94,109,141,144],"observation-equivalent":[20],"to":[21,33,54,61,86,126],"violating":[24],"secret.":[26],"In":[27,59],"this":[28,103],"paper,":[29],"we":[30,68,106,139],"study":[31],"how":[32],"synthesize":[34],"control":[36],"policy":[37],"maximizes":[39],"probability":[41],"being":[45],"made":[46],"opaque":[47],"against":[48],"an":[49,70,135],"eavesdropping":[50],"attacker/observer,":[51],"while":[52],"subject":[53,125],"other":[55],"task":[56,127],"performance":[57],"constraints.":[58],"contrast":[60],"existing":[63],"belief-based":[64],"approach":[65,71],"for":[66,116],"opacity-enforcement,":[67],"develop":[69],"uses":[73],"observation":[75],"function,":[76],"secret,":[78],"and":[79],"model":[81],"dynamical":[84],"systems":[85],"construct":[87],"so-called":[89],"opaqueobservations":[90],"automaton":[91],"accepts":[93],"exact":[95],"set":[96],"observations":[98],"enforce":[100],"opacity.":[101],"Leveraging":[102],"opaque-observations":[104],"automaton,":[105],"can":[107],"reduce":[108],"optimal":[110],"planning":[111,132,150],"in":[112,147],"Markov":[113],"decision":[114],"processes(MDPs)":[115],"maximizing":[117],"probabilistic":[118],"or":[120,154],"its":[121],"dual":[122],"notion,":[123],"transparency,":[124],"constraints":[128],"into":[129],"constrained":[131],"problem":[133],"over":[134],"augmented-state":[136],"MDP.":[137],"Finally,":[138],"illustrate":[140],"effectiveness":[142],"developed":[145],"methods":[146],"robot":[148],"motion":[149],"problems":[151],"with":[152],"transparency":[155],"requirements.":[156]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}