2 search results - page 1 / 1 » Average-Price and Reachability-Price Games on Hybrid Automat... |
FORMATS
2008
Springer
14 years 12 days ago
2008
Springer
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...
VMCAI
2009
Springer
14 years 5 months ago
2009
Springer
We study price-per-reward games on hybrid automata with strong resets. They generalise priced games previously studied and have applications in scheduling. We obtain decidability r...