Presentation is loading. Please wait.

Presentation is loading. Please wait.

Cheat Codes For Hybrid Games Rachel Holladay Foundations of

Published byRebecca Skinner Modified over 5 years ago

Similar presentations

Presentation on theme: "Cheat Codes For Hybrid Games Rachel Holladay Foundations of"— Presentation transcript:

1 Cheat Codes For Hybrid Games Rachel Holladay 15-424 Foundations of
Cyber-Physical Systems Verification & Validation Grand Prix Carnegie Mellon University Spring 2017

2 Red Light, Green Light Red Rover Leap Frog

3 Red Light, Green Light Red Rover Leap Frog

4

5 Choose accelerations Run Did someone win?

6 Choose accelerations Run Did someone win? Choose deceleration Run Did someone win?

7 Choose accelerations Run Did someone win? Choose deceleration Run Did someone win?

8 Choose accelerations Run Did someone win? Choose deceleration Run Did someone win?

9 Winning Condition (V1): Run Together

10 Winning Condition (V1): Run Together
Did Angel cross the finish line? Did Demon cross the finish line?

11 Winning Condition (V2): Run Separately

12 Winning Condition (V2): Run Separately
Did Angel cross the finish line and Demon didn’t? Did Angel and Demon cross the finish line but Angel crossed first? Did Demon cross the finish line and Angel didn’t? finish line but Demon crossed first?

13 Winning Condition (V2): Run Separately
Did Angel cross the finish line and Demon didn’t? Did Angel and Demon cross the finish line but Angel crossed first? Did Demon cross the finish line and Angel didn’t? finish line but Demon crossed first?

14 Stage 1 Choose accelerations Run Did someone win? Stage 2 Choose deceleration Run Did someone win?

15 Multi-Stage Models Hybrid Systems Need to make more pretty and build

16 Multi-Stage Models Hybrid Systems Complex
Need to make more pretty and build

17 Multi-Stage Models Hybrid Systems Complex Safety
Need to make more pretty and build

18 Multi-Stage Models Hybrid Systems Complex Safety Hybrid Games
Need to make more pretty and build

19 Multi-Stage Models Hybrid Systems Complex Safety Hybrid Games
No Problem Need to make more pretty and build

20 Multi-Stage Models Hybrid Systems Complex Safety Hybrid Games
No Problem Need to make more pretty and build Winning

21 Red Light, Green Light Red Rover Leap Frog

22

23 Angel Team vs Demon TEam

24 Angel calls over a demon Player Demon Player Run at Line Update Teams
On Angel’s Turn: Angel calls over a demon Player Demon Player Run at Line Update Teams Turns are symmetric so lets only consider 1

25 How? How? How? On Angel’s Turn: Angel calls over a demon Player
Demon Player Run at Line Update Teams How? How? Turns are symmetric so lets only consider 1 How?

26 Strength[Angel] and Strength[Demon] ?
Ideally, we might have a strength value associated, break through if strength is larger. Difficult because that’s a lot of variables and in hybrid games lots of info to store

27 Strength[Player 1] Strength[Player 2] Strength[Player 3] . . .
Ideally, we might have a strength value associated, break through if strength is larger. Difficult because that’s a lot of variables and in hybrid games lots of info to store

28 Do you perfectly know your friends strength. Probably Not
Do you perfectly know your friends strength? Probably Not. Private Information? Out of Scope. Also raises question of private information, who to run at. Out of scope

29 Do you perfectly know your friends strength. Probably Not
Do you perfectly know your friends strength? Probably Not. Private Information? Out of Scope. Also raises question of private information, who to run at. Out of scope

30 Do you perfectly know your friends strength. Probably Not
Do you perfectly know your friends strength? Probably Not. Private Information? Out of Scope. Also raises question of private information, who to run at. Out of scope

31 Do you perfectly know your friends strength. Probably Not
Do you perfectly know your friends strength? Probably Not. Private Information? Out of Scope. Also raises question of private information, who to run at. Out of scope

32 Red Light, Green Light Red Rover Leap Frog

33

34 On Each Turn: Give Controls Jump Did I win?

35 On Each Turn: Give Controls Jump Did I win? What? How?

36

37

38

39

40

41 Connection to Nim

42 Connection to Nim

43 Cheat Codes For Hybrid Games Rachel Holladay 15-424 Foundations of
Cyber-Physical Systems Verification & Validation Grand Prix Carnegie Mellon University Spring 2017

Download ppt "Cheat Codes For Hybrid Games Rachel Holladay Foundations of"

Similar presentations

Instructions for Playing the NC State Constitution Review Game “The NC State Constitution: A Review Game” is available in the Database of Civic Resources.

Instructions for Playing the NC State Constitution Review Game “The NC State Constitution: A Review Game” is available in the Database of Civic Resources.
THE ZERO CONDITIONAL 'IF' CLAUSE (CONDITION) MAIN CLAUSE (RESULT) If + simple present If you heat ice If it rains simple present it melts. you get wet.

THE ZERO CONDITIONAL 'IF' CLAUSE (CONDITION) MAIN CLAUSE (RESULT) If + simple present If you heat ice If it rains simple present it melts. you get wet.
Anger Social Skills Unit What is anger? How do you feel when you are angry? What can we do when we are angry to calm down?

Anger Social Skills Unit What is anger? How do you feel when you are angry? What can we do when we are angry to calm down?
I Can Learn From Losing! Introduce the lesson: Ask students what they know about losing – how it feels, when it happened to them, etc. List on whiteboard/chalkboard/easel.

I Can Learn From Losing! Introduce the lesson: Ask students what they know about losing – how it feels, when it happened to them, etc. List on whiteboard/chalkboard/easel.
1 The Circular Flow The simple circular flow model of the economy is designed to have us understand the basic operations of the economy.

1 The Circular Flow The simple circular flow model of the economy is designed to have us understand the basic operations of the economy.
Choose level of difficulty

Choose level of difficulty
EXAMPLE 6 Find probability of three dependent events Costume Party You and two friends go to the same store at different times to buy costumes for a costume.

EXAMPLE 6 Find probability of three dependent events Costume Party You and two friends go to the same store at different times to buy costumes for a costume.
EXAMPLE 6 Find probability of three dependent events Costume Party

EXAMPLE 6 Find probability of three dependent events Costume Party
Ultimate Super Cars: MV Presented by: Rishi Parmar Michael Asavareungchai.

Ultimate Super Cars: MV Presented by: Rishi Parmar Michael Asavareungchai.
What is the probability of the following: Answer the following: 1. Rolling a 4 on a die 2. Rolling an even number on a die 3. Rolling a number greater.

What is the probability of the following: Answer the following: 1. Rolling a 4 on a die 2. Rolling an even number on a die 3. Rolling a number greater.
In S.T.E.M we do Science, Technology, Engineering, Maths. So far we have only done Maths… We have also played many games in our sessions. Here are a few:-

In S.T.E.M we do Science, Technology, Engineering, Maths. So far we have only done Maths… We have also played many games in our sessions. Here are a few:-
Microsoft Windows 2003 Server. Client/Server Environment Many client computers connect to a server.

Microsoft Windows 2003 Server. Client/Server Environment Many client computers connect to a server.
Infusion - Unit 6 InFusion

Infusion - Unit 6 InFusion
The Cell. Background Think of cells as colorful little building blocks. Cells come together to construct living things.

The Cell. Background Think of cells as colorful little building blocks. Cells come together to construct living things.
` CAN YOU HELP THURROCK WALK AROUND THE WORLD?. Thurrock Primary Schools will take part in a fun walking and cycling game. Beat the Street starts 11 th.

` CAN YOU HELP THURROCK WALK AROUND THE WORLD?. Thurrock Primary Schools will take part in a fun walking and cycling game. Beat the Street starts 11 th.
Collider IT Project. Project Requirements  Create a fun and addictive online multiplayer game  Implement an Open Source physics engine (box2D)  The.

Collider IT Project. Project Requirements  Create a fun and addictive online multiplayer game  Implement an Open Source physics engine (box2D)  The.
Sometimes we can tell how people are feeling by looking at them. How are they feeling?

Sometimes we can tell how people are feeling by looking at them. How are they feeling?
Welcome to Forces and Motion Jeopardy! I’m your happenin’ host Sal the Scientist! Today we will be learning about the Newton’s laws of motion! He was.

Welcome to Forces and Motion Jeopardy! I’m your happenin’ host Sal the Scientist! Today we will be learning about the Newton’s laws of motion! He was.
Kinematics Equations. The main equations will be asterisked NOTE: You will NOT be expected to do this on a test, but it is important to know these equations.

Kinematics Equations. The main equations will be asterisked NOTE: You will NOT be expected to do this on a test, but it is important to know these equations.
Making Python Pretty!. How to Use This Presentation… Download a copy of this presentation to your ‘Computing’ folder. Follow the code examples, and put.

Making Python Pretty!. How to Use This Presentation… Download a copy of this presentation to your ‘Computing’ folder. Follow the code examples, and put.

Similar presentations

Ads by Google