Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets

Technical Report PDF: 
Technical Report Number: 
2008.113
TitleAverage-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
Publication TypeConference Paper
Year of Publication2008
AuthorsBouyer, P, Brihaye T, Jurdzinski M, Lazic R, Rutkowski M
Conference NameFORMATS