English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse
  1. Item Summary / 
  2. View item

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Compositional Bisimulation Minimization for Interval Markov Decision Processes

Hashemi, V., Hermanns, H., Song, L., Subramani, K., Turrini, A., & Wojciechowski, P. (2016). Compositional Bisimulation Minimization for Interval Markov Decision Processes. In A.-H. Dediu, J. Janoušek, C. Martín-Vide, & B. Truthe (Eds.), Language and Automata Theory and Applications (pp. 114-126). Berlin: Springer. doi:10.1007/978-3-319-30000-9_9.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-002A-437E-B Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002A-437F-9
Genre: Conference Paper
Latex : Compositional Bisimulation Minimization for Interval {Markov} Decision Processes

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Hashemi, Vahid1, Author           
Hermanns, Holger2, Author
Song, Lei2, Author
Subramani, K.2, Author
Turrini, Andrea2, Author
Wojciechowski, Piotr2, Author
Affiliations:
1International Max Planck Research School, MPI for Informatics, Max Planck Society, ou_1116551              
2External Organizations, ou_persistent22              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 20162016
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: HashemiLATA2016
DOI: 10.1007/978-3-319-30000-9_9
 Degree: -

Event

show
hide
Title: 10th International Conference on Language and Automata Theory and Application
Place of Event: Prague, Czech Republic
Start-/End Date: 2016-03-14 - 2016-03-18

Legal Case

show

Project information

show

Source 1

show
hide
Title: Language and Automata Theory and Applications
  Abbreviation : LATA 2016
  Subtitle : 10th International Conference, LATA 2016 ; Prague, Czech Republic, March 14-18, 2016 ; Proceedings
Source Genre: Proceedings
 Creator(s):
Dediu, Adrian-Horia1, Editor
Janoušek, Jan1, Editor
Martín-Vide, Carlos1, Editor
Truthe, Bianca1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Berlin : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 114 - 126 Identifier: ISBN: 978-3-319-29999-0

Source 2

show
hide
Title: Lecture Notes in Computer Science
  Abbreviation : LNCS
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 9618 Sequence Number: - Start / End Page: - Identifier: -