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 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
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.
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)
0PDF Downloads