Differential Hybrid Games

André Platzer

doi:10.1145/3091123

Differential Hybrid Games

ACM Transactions on Computational Logic ◽

10.1145/3091123 ◽

2017 ◽

Vol 18 (3) ◽

pp. 1-44 ◽

Cited By ~ 8

Author(s):

André Platzer

Keyword(s):

Hybrid Games

Download Full-text

Winning & Proving Hybrid Games

Logical Foundations of Cyber-Physical Systems ◽

10.1007/978-3-319-63588-0_16 ◽

2018 ◽

pp. 479-508

Author(s):

André Platzer

Keyword(s):

Hybrid Games

Download Full-text

Modelling Playful User Interfaces for Hybrid Games

Distributed, Ambient and Pervasive Interactions - Lecture Notes in Computer Science ◽

10.1007/978-3-319-58697-7_48 ◽

2017 ◽

pp. 640-659

Author(s):

Anna Priscilla de Albuquerque ◽

Felipe Borba Breyer ◽

Judith Kelner

Keyword(s):

User Interfaces ◽

Hybrid Games

Download Full-text

Rectangular Hybrid Games

CONCUR’99 Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-48320-9_23 ◽

1999 ◽

pp. 320-335 ◽

Cited By ~ 30

Author(s):

Thomas A. Henzinger ◽

Benjamin Horowitz ◽

Rupak Majumdar

Keyword(s):

Hybrid Games

Download Full-text

Designing Hybrid Games for Playful Fabrication

Extended Abstracts Publication of the Annual Symposium on Computer-Human Interaction in Play - CHI PLAY '17 Extended Abstracts ◽

10.1145/3130859.3131334 ◽

2017 ◽

Cited By ~ 1

Author(s):

Theresa Jean Tanenbaum ◽

Karen Tanenbaum ◽

Michael Cowling

Keyword(s):

Hybrid Games

Download Full-text

Hybrid games in strategy analysis: Bargaining in the shadow of competition

Academy of Management Proceedings ◽

10.5465/ambpp.2021.13224abstract ◽

2021 ◽

Vol 2021 (1) ◽

pp. 13224

Author(s):

Joachim Henkel

Keyword(s):

Strategy Analysis ◽

Hybrid Games

Download Full-text

Differential Game Logic for Hybrid Games

10.21236/ada561153 ◽

2012 ◽

Cited By ~ 1

Author(s):

Andre Platzer

Keyword(s):

Differential Game ◽

Game Logic ◽

Hybrid Games

Download Full-text

Rectangular Hybrid Games (Extended Abstract)

10.21236/ada603878 ◽

1999 ◽

Author(s):

Thomas A. Henzinger ◽

Benjamin Horowitz ◽

Rupak Majumdar

Keyword(s):

Hybrid Games

Download Full-text

Classifying Multiplayer Hybrid Games to Identify Diverse Player Participation

Communications in Computer and Information Science - Videogame Sciences and Arts ◽

10.1007/978-3-030-37983-4_19 ◽

2019 ◽

pp. 248-260

Author(s):

Ryan Javanshir ◽

Beth Carroll ◽

David Millard

Keyword(s):

Hybrid Games

Download Full-text

Playing Hybrid Games with KeYmaera

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31365-3_34 ◽

2012 ◽

pp. 439-453 ◽

Cited By ~ 7

Author(s):

Jan-David Quesel ◽

André Platzer

Keyword(s):

Hybrid Games

Download Full-text

STORMED Hybrid Games

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00602-9_39 ◽

2009 ◽

pp. 480-484 ◽

Cited By ~ 3

Author(s):

Vladimeros Vladimerou ◽

Pavithra Prabhakar ◽

Mahesh Viswanathan ◽

Geir Dullerud

Keyword(s):

Hybrid Games

Download Full-text