Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

4

CONCUR
1999
Springer

favoriteEmaildiscussreport

78views Distributed And Parallel Com...» more CONCUR 1999»

Rectangular Hybrid Games

13 years 8 months ago

Rectangular Hybrid Games

Download mtc.epfl.ch

Thomas A. Henzinger, Benjamin Horowitz, Rupak Maju

Real-time Traffic

CONCUR 1999 | Distributed And Parallel Computing |

claim paper

Related Content

» DiscreteTime Control for Rectangular Hybrid Automata

» A hybrid genetic algorithm for the twodimensional single large object placement problem

» Automatic Rectangular Refinement of Affine Hybrid Systems

» Model Checking LTL over Controllable Linear Systems Is Decidable

» On Reachability for Hybrid Automata over Bounded Time

» STORMED Hybrid Games

» Playing Hybrid Games with KeYmaera

» A New Class of Decidable Hybrid Systems

» AveragePriceperReward Games on Hybrid Automata with Strong Resets

Post Info
More Details (n/a)

Added	03 Aug 2010
Updated	03 Aug 2010
Type	Conference
Year	1999
Where	CONCUR
Authors	Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar

Comments (0)