Sciweavers

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

94

Voted

CONCUR
1999
Springer

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

Rectangular Hybrid Games

15 years 7 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)