Publicações

Trading Infinite Memory for Uniform Randomness in Timed Games

AuthID
P-009-JWS

Author(s)

Chatterjee, K

Henzinger, TA

Prabhu, VS

Tipo de Documento

Proceedings Paper

Year published

2008

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 4981 LNCS, Páginas: 87-100

Conference

11Th International Workshop on Hybrid Systems: Computation and Control, Hscc 2008, Date: 22 April 2008 through 24 April 2008, Location: St. Louis, MO, Patrocinadores: Georgia Institute of Technology;US National Science Foundation

Indexing