10031 Abstracts Collection – Quantitative Models: Expressiveness and Analysis

Baier, Christel; Droste, Manfred; Gastin, Paul; Larsen, Kim Guldstrand

doi:10.4230/DagSemProc.10031.1

Document

10031 Abstracts Collection – Quantitative Models: Expressiveness and Analysis

Authors Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 10031
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2010-07-21

PDF

File

PDF

DagSemProc.10031.1.pdf

Filesize: 187 kB
15 pages

Document Identifiers

DOI: 10.4230/DagSemProc.10031.1
URN: urn:nbn:de:0030-drops-26839

Subject Classification

Keywords

Quantitative models
quantitative analysis
timed and hybrid systems
probabilistic systems
weighted automata

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

From Jan 18 to Jan 22, 2010, the Dagstuhl Seminar 10031 ``Quantitative Models: Expressiveness and Analysis '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available.

Cite As Get BibTex

Christel Baier, Manfred Droste, Paul Gastin, and Kim Guldstrand Larsen. 10031 Abstracts Collection – Quantitative Models: Expressiveness and Analysis. In Quantitative Models: Expressiveness and Analysis. Dagstuhl Seminar Proceedings, Volume 10031, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010) https://doi.org/10.4230/DagSemProc.10031.1

Author Details

Christel Baier

Manfred Droste

Paul Gastin

Kim Guldstrand Larsen

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail