FORMATS   2008 Formal Modeling and Analysis of Timed Systems
Wall of Fame | Most Viewed FORMATS-2008 Paper
13 years 7 months ago
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source175
2Download preprint from source170
3Download preprint from source142
4Download preprint from source138
5Download preprint from source138
6Download preprint from source137
7Download preprint from source117
8Download preprint from source113
9Download preprint from source108
10Download preprint from source107
11Download preprint from source97
12Download preprint from source79
13Download preprint from source74
14Download preprint from source60