A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Rewarding probabilistic hybrid automata
2013
Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13
real-world systems: combination of digital controller and continuous environment 2/27 real-world systems: combination of digital controller and continuous environment often safeness critical 2/27 real-world systems: combination of digital controller and continuous environment often safeness critical need to formally analyse such hybrid systems 2/27 Model Checking "does a computing system fulfil its specification?" 3/27 Model Checking "does a computing system fulfil its specification?" formal
doi:10.1145/2461328.2461375
dblp:conf/hybrid/HahnH13
fatcat:deflow6wyvhfdaq6xx4nwghj3a