uu.seUppsala universitets publikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Qualitative Analysis of VASS-Induced MDPs
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
Univ Edinburgh, Edinburgh, Midlothian, Scotland..
Univ Edinburgh, Edinburgh, Midlothian, Scotland..
Univ Paris Diderot, CNRS, LIAFA, Sorbonne Paris Cite, Paris, France..
Vise andre og tillknytning
2016 (engelsk)Inngår i: Foundations Of Software Science And Computation Structures (FOSSACS 2016) / [ed] Jacobs, B Loding, C, 2016, s. 319-334Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

We consider infinite-state Markov decision processes (MDPs) that are induced by extensions of vector addition systems with states (VASS). Verification conditions for these MDPs are described by reachability and Buchi objectives w.r.t. given sets of control-states. We study the decidability of some qualitative versions of these objectives, i.e., the decidability of whether such objectives can be achieved surely, almostsurely, or limit-surely. While most such problems are undecidable in general, some are decidable for large subclasses in which either only the controller or only the random environment can change the counter values (while the other side can only change control-states).

sted, utgiver, år, opplag, sider
2016. s. 319-334
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9634
HSV kategori
Identifikatorer
URN: urn:nbn:se:uu:diva-332916DOI: 10.1007/978-3-662-49630-5_19ISI: 000401936500019ISBN: 978-3-662-49630-5 (digital)ISBN: 978-3-662-49629-9 (tryckt)OAI: oai:DiVA.org:uu-332916DiVA, id: diva2:1154559
Konferanse
19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS), APR 04-07, 2016, Eindhoven, NETHERLANDS
Tilgjengelig fra: 2017-11-02 Laget: 2017-11-02 Sist oppdatert: 2018-01-13bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Abdulla, Parosh

Søk i DiVA

Av forfatter/redaktør
Abdulla, Parosh
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 216 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf