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.

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák. Stochastic Real-Time Games with Qualitative Timed Automata Objectives. In Paul Gastin, François Laroussinie, editors, CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings. Volume 6269 of Lecture Notes in Computer Science, pages 207-221, Springer, 2010. [doi]

Authors

Tomás Brázdil

This author has not been identified. Look up 'Tomás Brázdil' in Google

Jan Krcál

This author has not been identified. Look up 'Jan Krcál' in Google

Jan Kretínský

This author has not been identified. Look up 'Jan Kretínský' in Google

Antonín Kucera

This author has not been identified. Look up 'Antonín Kucera' in Google

Vojtech Rehák

This author has not been identified. Look up 'Vojtech Rehák' in Google
runs on