10031 Executive Summary – Quantitative Models: Expressiveness and Analysis

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

doi:10.4230/DagSemProc.10031.2

Document

10031 Executive Summary – 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-20

PDF

File

PDF

DagSemProc.10031.2.pdf

Filesize: 85 kB
2 pages

Document Identifiers

DOI: 10.4230/DagSemProc.10031.2
URN: urn:nbn:de:0030-drops-26824

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

Quantitative models and quantitative analysis in Computer Science
are currently intensively studied, resulting in a revision of the
foundation of Computer Science where classical yes/no answers are
replaced by quantitative analyses. The potential application areas
are huge, e.g., performance analysis, operational research or
embedded systems.

The aim of the seminar was to address three fundamental topics
which are closely related: quantitative analysis of real-time and hybrid
systems; probabilistic analysis and stochastic automata; weighted
automata.  These three areas of research have mainly evolved
independently so far and the relationship between them has emerged
only recently. The seminar brought together leading researchers
of the three areas, with the goal of future highly productive
cross-fertilizations.

Cite As Get BibTex

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

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