Taking It to the Limit: Approximate Reasoning for Markov Processes

Kim Guldstrand Larsen; Radu Iulian Mardare; Prakash Panangaden

doi:10.1007/978-3-642-32589-2_59

Taking It to the Limit: Approximate Reasoning for Markov Processes

Kim Guldstrand Larsen, Radu Iulian Mardare, Prakash Panangaden

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

18 Citations (Scopus)

Original language	English
Title of host publication	Mathematical Foundations of Computer Science 2012 : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
Editors	Branislav Rovan, Vladimiro Sassone, Peter Widmayer
Publisher	Springer
Publication date	2012
Pages	681-692
ISBN (Print)	978-3-642-32588-5
ISBN (Electronic)	978-3-642-32589-2
DOIs	https://doi.org/10.1007/978-3-642-32589-2_59
Publication status	Published - 2012
Event	International Conference on Mathematical Foundations of Computer Science - Bratislava, Slovakia Duration: 27 Aug 2012 → 31 Aug 2012 Conference number: 37

Conference

Conference	International Conference on Mathematical Foundations of Computer Science
Number	37
Country/Territory	Slovakia
City	Bratislava
Period	27/08/2012 → 31/08/2012

Series	Lecture Notes in Computer Science
Volume	7464
ISSN	0302-9743

Access to Document

10.1007/978-3-642-32589-2_59

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Larsen, K. G., Mardare, R. I., & Panangaden, P. (2012). Taking It to the Limit: Approximate Reasoning for Markov Processes. In B. Rovan, V. Sassone, & P. Widmayer (Eds.), Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings (pp. 681-692). Springer. https://doi.org/10.1007/978-3-642-32589-2_59

Larsen, Kim Guldstrand ; Mardare, Radu Iulian ; Panangaden, Prakash. / Taking It to the Limit : Approximate Reasoning for Markov Processes. Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. editor / Branislav Rovan ; Vladimiro Sassone ; Peter Widmayer. Springer, 2012. pp. 681-692 (Lecture Notes in Computer Science, Vol. 7464).

@inproceedings{3fa0b03a46df4f949757bc75597e3fa6,

title = "Taking It to the Limit: Approximate Reasoning for Markov Processes",

author = "Larsen, {Kim Guldstrand} and Mardare, {Radu Iulian} and Prakash Panangaden",

year = "2012",

doi = "10.1007/978-3-642-32589-2_59",

language = "English",

isbn = "978-3-642-32588-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "681--692",

editor = "Branislav Rovan and Vladimiro Sassone and Peter Widmayer",

booktitle = "Mathematical Foundations of Computer Science 2012",

address = "Germany",

note = "International Conference on Mathematical Foundations of Computer Science, MFCS 2012 ; Conference date: 27-08-2012 Through 31-08-2012",

}

Larsen, KG, Mardare, RI & Panangaden, P 2012, Taking It to the Limit: Approximate Reasoning for Markov Processes. in B Rovan, V Sassone & P Widmayer (eds), Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Springer, Lecture Notes in Computer Science, vol. 7464, pp. 681-692, International Conference on Mathematical Foundations of Computer Science, Bratislava, Slovakia, 27/08/2012. https://doi.org/10.1007/978-3-642-32589-2_59

Taking It to the Limit: Approximate Reasoning for Markov Processes. / Larsen, Kim Guldstrand; Mardare, Radu Iulian; Panangaden, Prakash.
Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. ed. / Branislav Rovan; Vladimiro Sassone; Peter Widmayer. Springer, 2012. p. 681-692 (Lecture Notes in Computer Science, Vol. 7464).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Taking It to the Limit

T2 - International Conference on Mathematical Foundations of Computer Science

AU - Larsen, Kim Guldstrand

AU - Mardare, Radu Iulian

AU - Panangaden, Prakash

N1 - Conference code: 37

PY - 2012

Y1 - 2012

UR - http://www.scopus.com/inward/record.url?scp=84865017471&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-32589-2_59

DO - 10.1007/978-3-642-32589-2_59

M3 - Article in proceeding

SN - 978-3-642-32588-5

T3 - Lecture Notes in Computer Science

SP - 681

EP - 692

BT - Mathematical Foundations of Computer Science 2012

A2 - Rovan, Branislav

A2 - Sassone, Vladimiro

A2 - Widmayer, Peter

PB - Springer

Y2 - 27 August 2012 through 31 August 2012

ER -

Larsen KG, Mardare RI, Panangaden P. Taking It to the Limit: Approximate Reasoning for Markov Processes. In Rovan B, Sassone V, Widmayer P, editors, Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Springer. 2012. p. 681-692. (Lecture Notes in Computer Science, Vol. 7464). doi: 10.1007/978-3-642-32589-2_59

Taking It to the Limit: Approximate Reasoning for Markov Processes

Conference

Access to Document

AUB Link

Other files and links

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Cite this

Taking It to the Limit: Approximate Reasoning for Markov Processes

Conference

Access to Document

AUB Link

Other files and links

Projects

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Cite this