License
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.10031.2
URN: urn:nbn:de:0030-drops-26824
URL: https://drops.dagstuhl.de/opus/volltexte/2010/2682/
Go to the corresponding Portal


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

10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis

pdf-format:
10031_executive_summary.2682.pdf (0.08 MB)


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.

BibTeX - Entry

@InProceedings{baier_et_al:DagSemProc.10031.2,
  author =	{Baier, Christel and Droste, Manfred and Gastin, Paul and Larsen, Kim Guldstrand},
  title =	{{10031 Executive Summary – Quantitative Models: Expressiveness and Analysis}},
  booktitle =	{Quantitative Models: Expressiveness and Analysis},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10031},
  editor =	{Christel Baier and Manfred Droste and Paul Gastin and Kim Guldstrand Larsen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2010/2682},
  URN =		{urn:nbn:de:0030-drops-26824},
  doi =		{10.4230/DagSemProc.10031.2},
  annote =	{Keywords: Quantitative models, quantitative analysis, timed and hybrid systems, probabilistic systems, weighted automata}
}

Keywords: Quantitative models, quantitative analysis, timed and hybrid systems, probabilistic systems, weighted automata
Collection: 10031 - Quantitative Models: Expressiveness and Analysis
Issue Date: 2010
Date of publication: 20.07.2010


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI