Reasoning About Cost-Utility Constraints in Probabilistic Models

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Invited › peer-review

Contributors

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

Original languageEnglish
Title of host publicationReachability Problems
EditorsMikolai Bojanczyk, Slawomir Lasota, Igor Potapov
PublisherSpringer, Cham
Pages1-6
Number of pages6
ISBN (print)978-3-319-24536-2
Publication statusPublished - 2015
Peer-reviewedYes

Publication series

SeriesLecture Notes in Computer Science, Volume 10506
ISSN0302-9743

Workshop

Title9th International Workshop on Reachability Problems
Abbreviated titleRP 2015
Conference number
Duration21 - 23 September 2015
Degree of recognitionInternational event
Location
CityWarsaw
CountryPoland

External IDs

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

Keywords

Keywords

  • Cost-Utility Constraints, Probabilistic Models

Library keywords