Skip to content Skip to footer

Bisimulations, logics, and trace distributions for stochastic systems with rewards

Activity: Talk or presentation at external institutions/eventsTalk/PresentationContributed

Persons and affiliations

Date

11 Apr 201813 Apr 2018

Description

Speaker: Daniel Gburek
Event: 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
Location: Porto
Country: Portugal
Duration of event: 11.04.2018-13.04.2018

Conference

Title21st International Conference on Hybrid Systems: Computation and Control
Subtitle(part of CPS Week)
Abbreviated titleHSCC 2018
Conference number
Duration11 - 13 April 2018
Website
Degree of recognitionInternational event
Location
CityPorto
CountryItaly

Keywords

DFG Classification of Subject Areas according to Review Boards

    Subject groups, research areas, subject areas according to Destatis

      Related content