Reasoning about Cost-Utility Constraints in Probabilistic Models

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited

Persons and affiliations

Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)

Date

21 Sept 2015 → 23 Sept 2015

Description

Workshop

Title	9th International Workshop on Reachability Problems
Abbreviated title	RP 2015
Conference number
Duration	21 - 23 September 2015
Degree of recognition	International event
Location
City	Warsaw
Country	Poland

Keywords

Reasoning About Cost-Utility Constraints in Probabilistic Models

Baier, C., 2015, Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings. Bojanczyk, M., Lasota, S. & Potapov, I. (eds.). Springer, Cham, p. 1-6 6 p. (Lecture Notes in Computer Science, Volume 10506).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Invited › peer-review

View all research output (1)

Research Portal of the TU Dresden