Rewarding probabilistic hybrid automata
| Title | Rewarding probabilistic hybrid automata |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Hahn, EM, Hermanns, H |
| Editor | Belta, C, Ivancic, F |
| Conference Name | Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA |
| Publisher | ACM |
| ISBN Number | 978-1-4503-1567-8 |
Work Package:
WP1
