Rectangular Hybrid Games (Extended Abstract)

1999 ◽  
Author(s):  
Thomas A. Henzinger ◽  
Benjamin Horowitz ◽  
Rupak Majumdar
Keyword(s):  
Hybrid Games

Modelling Playful User Interfaces for Hybrid Games

2017 ◽  
pp. 640-659
Author(s):  
Anna Priscilla de Albuquerque ◽  
Felipe Borba Breyer ◽  
Judith Kelner
Keyword(s):  
User Interfaces ◽  
Hybrid Games

Rectangular Hybrid Games

1999 ◽  
pp. 320-335 ◽  
Author(s):  
Thomas A. Henzinger ◽  
Benjamin Horowitz ◽  
Rupak Majumdar
Keyword(s):  
Hybrid Games

scholarly journals Playing Hybrid Games with KeYmaera

2012 ◽  
pp. 439-453 ◽  
Author(s):  
Jan-David Quesel ◽  
André Platzer
Keyword(s):  
Hybrid Games

STORMED Hybrid Games

2009 ◽  
pp. 480-484 ◽  
Author(s):  
Vladimeros Vladimerou ◽  
Pavithra Prabhakar ◽  
Mahesh Viswanathan ◽  
Geir Dullerud
Keyword(s):  
Hybrid Games
Sign in / Sign up

Export Citation Format

Share Document