INRIA centre at Rennes University
Activity: Visiting external institutions › Research stay
Persons and affiliations
- Christine Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Visiting scientist)
Date
21 Nov 2016 → 25 Nov 2016
Description
Topic: Decision problems for weighted Markov decision processesHosting institution: INRIA Rennes Bretagne-Atlantique (INRIA Rennes Bretagne Atlantique), Rennes, France
Duration of visit: 5 Tage
Visited organisation
| Name | INRIA centre at Rennes University |
|---|---|
| City | Rennes Cedex |
| Country | France |