Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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..
Visa övriga samt affilieringar
2016 (Engelska)Ingår i: Foundations Of Software Science And Computation Structures (FOSSACS 2016) / [ed] Jacobs, B Loding, C, 2016, 319-334 s.Konferensbidrag, Publicerat paper (Refereegranskat)
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).

Ort, förlag, år, upplaga, sidor
2016. 319-334 s.
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9634
Nationell ämneskategori
Data- och informationsvetenskap
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: diva2:1154559
Konferens
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
Tillgänglig från: 2017-11-02 Skapad: 2017-11-02 Senast uppdaterad: 2017-11-02Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas

Övriga länkar

Förlagets fulltext

Sök vidare i DiVA

Av författaren/redaktören
Abdulla, Parosh
Av organisationen
Datorteknik
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

Altmetricpoäng

Totalt: 8 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf