@prefix prodottidellaricerca: . @prefix istituto: . @prefix prodotto: . istituto:CDS044 prodottidellaricerca:prodotto prodotto:ID223174 . @prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . unitaDiPersonaleInterno:MATRICOLA7856 pubblicazioni:autoreCNRDi prodotto:ID223174 . @prefix unitaDiPersonaleEsterno: . unitaDiPersonaleEsterno:ID18934 pubblicazioni:autoreCNRDi prodotto:ID223174 . @prefix modulo: . modulo:ID2828 prodottidellaricerca:prodotto prodotto:ID223174 . @prefix rdf: . prodotto:ID223174 rdf:type prodotto:TIPO1301 . @prefix retescientifica: . prodotto:ID223174 rdf:type retescientifica:ProdottoDellaRicerca . @prefix rdfs: . prodotto:ID223174 rdfs:label "Quantitative Access Control with Partially-Observable Markov Decision Processes (Contributo in atti di convegno)"@en . @prefix xsd: . prodotto:ID223174 pubblicazioni:anno "2012-01-01T00:00:00+01:00"^^xsd:gYear ; pubblicazioni:doi "10.1145/2133601.2133623"^^xsd:string . @prefix skos: . prodotto:ID223174 skos:altLabel "
Fabio Martinelli, Charles Morisset (2012)
Quantitative Access Control with Partially-Observable Markov Decision Processes
in Second ACM Conference on Data and Application Security and Privacy, San Antonio, Texas, USA, 2012
"^^rdf:HTML ; pubblicazioni:autori "Fabio Martinelli, Charles Morisset"^^xsd:string ; pubblicazioni:paginaInizio "169"^^xsd:string ; pubblicazioni:paginaFine "180"^^xsd:string ; pubblicazioni:altreInformazioni "ID_PUMA; /cnr.iit/2012-A2-042"^^xsd:string ; pubblicazioni:url "http://dl.acm.org/citation.cfm?id=2133623"^^xsd:string ; pubblicazioni:titoloVolume "Proceedings of the second ACM conference on Data and Application Security and Privacy"^^xsd:string ; pubblicazioni:pagineTotali "12"^^xsd:string ; skos:note "Scopu"^^xsd:string ; pubblicazioni:affiliazioni "CNR-IIT, Pisa, Italy; CNR-IIT, Pisa, Italy"^^xsd:string ; pubblicazioni:titolo "Quantitative Access Control with Partially-Observable Markov Decision Processes"^^xsd:string ; pubblicazioni:isbn "978-1-4503-1091-8"^^xsd:string ; prodottidellaricerca:abstract "We study observation-based strategies for partially-observable\nMarkov decision processes (POMDPs) with parity objectives. An observationbased\nstrategy relies on partial information about the history of a play, namely,\non the past sequence of observations. We consider qualitative analysis problems:\ngiven a POMDP with a parity objective, decide whether there exists an\nobservation-based strategy to achieve the objective with probability 1 (almostsure\nwinning), or with positive probability (positive winning). Our main results\nare twofold. First, we present a complete picture of the computational complexity\nof the qualitative analysis problem for POMDPs with parity objectives and\nits subclasses: safety, reachability, B\u00A8uchi, and coB\u00A8uchi objectives. We establish\nseveral upper and lower bounds that were not known in the literature. Second, we\ngive optimal bounds (matching upper and lower bounds) for the memory required\nby pure and randomized observation-based strategies for each class of objectives"@en . @prefix ns12: . prodotto:ID223174 pubblicazioni:editore ns12:ID5 ; prodottidellaricerca:prodottoDi istituto:CDS044 , modulo:ID2828 ; pubblicazioni:autoreCNR unitaDiPersonaleEsterno:ID18934 , unitaDiPersonaleInterno:MATRICOLA7856 . @prefix parolechiave: . prodotto:ID223174 parolechiave:insiemeDiParoleChiave . ns12:ID5 pubblicazioni:editoreDi prodotto:ID223174 . parolechiave:insiemeDiParoleChiaveDi prodotto:ID223174 .