External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Average-Price-per-Reward Games on Hybrid Automata with Strong Resets

Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski. Average-Price-per-Reward Games on Hybrid Automata with Strong Resets. In Neil D. Jones, Markus Müller-Olm, editors, Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Volume 5403 of Lecture Notes in Computer Science, pages 167-181, Springer, 2009. [doi]

Authors

Marcin Jurdzinski

This author has not been identified. Look up 'Marcin Jurdzinski' in Google

Ranko Lazic

This author has not been identified. Look up 'Ranko Lazic' in Google

Michal Rutkowski

This author has not been identified. Look up 'Michal Rutkowski' in Google
runs on