Conditioning and quantiles in Markovian models
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
13 Jul 2018
Description
Speaker: Christel BaierEvent: Workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe’18)
Inviting institution: Workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe’18)
Location: Oxford
Country: Großbritannien
Duration of event: 13.07.2018-13.07.2018
Workshop
| Title | Workshop on Multi-objective Reasoning in Verification and Synthesis |
|---|---|
| Abbreviated title | MoRe’18 |
| Conference number | |
| Duration | 13 July 2018 |
| Website | |
| Degree of recognition | International event |
| Location | |
| City | Oxford |
| Country | United Kingdom |