Qualitative Weight and Ratio Objectives in Annotated Markov Chains
- Date
- May 12, 2015
- Time
- 9:30 AM - 10:30 AM
- Speaker
- Jana Schubert
- Language
- en
- Main Topic
- Informatik
- Other Topics
- Informatik
- Description
- Betreuender HSL: Prof. Christel Baier Betreuer: Daniel Krähmann, M. Sc., Clemens Dubslaff, M. Sc.
Last modified: May 12, 2015, 9:49:51 AM
Location
TUD Andreas-Pfitzmann-Bau (Computer Science) (APB 3027)Nöthnitzer Straße4601069Dresden
- Homepage
- https://navigator.tu-dresden.de/etplan/apb/00
Organizer
TUD InformatikNöthnitzer Straße4601069Dresden
- Phone
- +49 (0) 351 463-38465
- Fax
- +49 (0) 351 463-38221
- Homepage
- http://www.inf.tu-dresden.de
Legend
- Biology
- Chemistry
- Civil Eng., Architecture
- Computer Science
- Economics
- Electrical and Computer Eng.
- Environmental Sciences
- for Pupils
- Law
- Linguistics, Literature and Culture
- Materials
- Mathematics
- Mechanical Engineering
- Medicine
- Physics
- Psychology
- Society, Philosophy, Education
- Spin-off/Transfer
- Traffic
- Training
- Welcome
