ACM SIGBED HCSS 2018 Best Paper Award

Prize: Publication/Conference prize

Recipients

Daniel Gburek (geb. Krähmann) - , Chair of Algebraic and Logical Foundations of Computer Science (Laureat)
Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Laureat)

Description

21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

Awarded date	2018
Degree of recognition	International

Conference

Title	21st International Conference on Hybrid Systems: Computation and Control
Subtitle	(part of CPS Week)
Abbreviated title	HSCC 2018
Conference number
Duration	11 - 13 April 2018
Website	https://www.hscc2018.deib.polimi.it/en/index.html
Degree of recognition	International event
Location
City	Porto
Country	Italy

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

Gburek, D. & Baier, C., 2018, HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery (ACM), New York, p. 31-40 10 p.

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

View all research output (1)

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

Gburek, D. (Speaker)

11 Apr 2018 → 13 Apr 2018

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

View all activities (1)

Research Portal of the TU Dresden

ACM SIGBED HCSS 2018 Best Paper Award

Recipients

Description

Conference

Related content

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

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