DagSemProc.10031.2.pdf
- Filesize: 85 kB
- 2 pages
Document
10031 Executive Summary – Quantitative Models: Expressiveness and Analysis
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 10031
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2010-07-20
Cite AsGet 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
https://doi.org/10.4230/DagSemProc.10031.2
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.
Keywords
- Quantitative models
- quantitative analysis
- timed and hybrid systems
- probabilistic systems
- weighted automata
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads