2026-07-22T19:10:17Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2682 2024-03-06T11:09:07Z ddc:004 open_access

10031 Executive Summary – Quantitative Models: Expressiveness and Analysis Baier, Christel Droste, Manfred Gastin, Paul Larsen, Kim Guldstrand Quantitative models quantitative analysis timed and hybrid systems probabilistic systems weighted automata 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Christel Baier and Manfred Droste and Paul Gastin and Kim Guldstrand Larsen 2010 Is Part Of Dagstuhl Seminar Proceedings, Volume 10031, Quantitative Models: Expressiveness and Analysis (2010) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.10031.2 urn:nbn:de:0030-drops-26824 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10031.2 eng https://creativecommons.org/licenses/by/4.0/legalcode