Automated Formal Verification of Software bryant Randal E. Bryant Carnegie Mellon University.
Carnegie Mellon University ComputersandRobotsComputersandRobots bryant Randal E. Bryant.
-
Upload
sofia-iglesias-murillo -
Category
Documents
-
view
228 -
download
0
Transcript of Carnegie Mellon University ComputersandRobotsComputersandRobots bryant Randal E. Bryant.
Carnegie Mellon University
ComputersComputersandand
RobotsRobots
ComputersComputersandand
RobotsRobots
http://www.cs.cmu.edu/~bryant
Randal E. Bryant
RobosoccerRobosoccer
What is Easy? What is Hard?What is Easy? What is Hard?
ArithmeticArithmetic
Computers can do more than 1 billion calculations per second
5736.421 X (4296.79 – 551.04)
42.9 + 553.4
= 36034.209224802958
What is Easy? What is Hard?What is Easy? What is Hard?
Humans better than Humans better than computerscomputers
DE xi Ii ARIi.. COPBCtrAGE\, DeC. I l 1 QOn. Tlie royal palace at Frieclericheberg took fire last night. The li.ing himself directed the operations fns extinguishing the lire. The whole structure XXX, XXXXXXX, ed.
ReadingReading
Artificial IntelligenceArtificial Intelligence
Make computers display “intelligent behavior”Make computers display “intelligent behavior”
1997:IBM “Deep Blue” beats Gary Kasparov
More Artificial IntelligenceMore Artificial IntelligenceFLORIDA -- El gobierno del presidente Barack Obama dará impulso a una red eléctrica "inteligente" futurista, con la esperanza de llevar lo más pronto posible al sistema de transmisión de energía hacia la era digital.
El presidente Obama anunciará el martes durante una visita a una planta de energía solar en Arcadia, Florida, que el gobierno dará apoyo con 3.400 millones de dólares a un centenar de proyectos destinados a modernizar el sistema de electricidad de Estados Unidos.
Run through Google translation programRun through Google translation program
FLORIDA - The government of President Barack Obama will give impetus to a power grid "smart" futuristic, hoping to take as soon as possible to the power transmission system into the digital age.
President Obama will announce on Tuesday during a visit to a solar power plant in Arcadia, Florida, that the government will support with 3,400 million dollars to a hundred projects to modernize the electricity system of the United States.
Why is Computer Vision Hard?Why is Computer Vision Hard?
What do we see in this image?
How do we know this?
We rely on “real-world knowledge”
What is a Robot?What is a Robot?Machines that Machines that sensesense, , thinkthink, and , and actact
10
Which of these Which of these are robots?are robots?
Robots in Action: RobosoccerRobots in Action: Robosoccer
Robots in Action: RobosoccerRobots in Action: Robosoccer
Robots in Action: Driving on RoadsRobots in Action: Driving on Roads
2007 DARPA Urban Grand 2007 DARPA Urban Grand ChallengeChallenge
Drive course with other carsDrive course with other cars
Follow California driving rulesFollow California driving rules
SenseSense
ThinkThink
ActAct
Robots in Action: Driving on RoadsRobots in Action: Driving on Roads
Robots in Action: Driving on RoadsRobots in Action: Driving on Roads
Robots in the Real WorldRobots in the Real World
The “Three D’s”The “Three D’s” Dull Dirty Dangerous
Want to Get Involved?Want to Get Involved?
How Much School?How Much School? Depends on what kind of
job you want
What to Learn?What to Learn? Math: Algebra, geometry,
trigonometry Science: Physics,
chemistry
Other Skills You NeedOther Skills You Need Working in teams Communicating with
others
2-yearcollege
Elementaryschool
Middleschool
Highschool
4-yearcollege
Graduateschool
Technician
Designer
Researcher
Car of the Future?Car of the Future?