Conditioning and quantiles in Markovian models
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
13 Juli 2018
Beschreibung
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
| Titel | Workshop on Multi-objective Reasoning in Verification and Synthesis |
|---|---|
| Kurztitel | MoRe’18 |
| Veranstaltungsnummer | |
| Dauer | 13 Juli 2018 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Oxford |
| Land | Großbritannien/Vereinigtes Königreich |