Reasoning About Cost-Utility Constraints in Probabilistic Models
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Eingeladen › Begutachtung
Beitragende
Abstract
Various types of automata models with weights attached to the states and/or transitions have been introduced to model and analyze the resource-awareness and other quantitative phenomena of systems. In this context, weight accumulation appears as a natural concept to reason about cost and utility measures.
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Reachability Problems |
| Redakteure/-innen | Mikolai Bojanczyk, Slawomir Lasota, Igor Potapov |
| Herausgeber (Verlag) | Springer, Cham |
| Seiten | 1-6 |
| Seitenumfang | 6 |
| ISBN (Print) | 978-3-319-24536-2 |
| Publikationsstatus | Veröffentlicht - 2015 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | Lecture Notes in Computer Science, Volume 10506 |
|---|---|
| ISSN | 0302-9743 |
Workshop
| Titel | 9th International Workshop on Reachability Problems |
|---|---|
| Kurztitel | RP 2015 |
| Veranstaltungsnummer | |
| Dauer | 21 - 23 September 2015 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Warsaw |
| Land | Polen |
Externe IDs
| Scopus | 84951870932 |
|---|---|
| ORCID | /0000-0002-5321-9343/work/142236731 |
Schlagworte
Schlagwörter
- Cost-Utility Constraints, Probabilistic Models