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

OriginalspracheEnglisch
TitelReachability Problems
Redakteure/-innenMikolai Bojanczyk, Slawomir Lasota, Igor Potapov
Herausgeber (Verlag)Springer, Cham
Seiten1-6
Seitenumfang6
ISBN (Print)978-3-319-24536-2
PublikationsstatusVeröffentlicht - 2015
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 10506
ISSN0302-9743

Workshop

Titel9th International Workshop on Reachability Problems
KurztitelRP 2015
Veranstaltungsnummer
Dauer21 - 23 September 2015
BekanntheitsgradInternationale Veranstaltung
Ort
StadtWarsaw
LandPolen

Externe IDs

Scopus 84951870932
ORCID /0000-0002-5321-9343/work/142236731

Schlagworte

Schlagwörter

  • Cost-Utility Constraints, Probabilistic Models

Bibliotheksschlagworte