with amir pnueli & greta yorsh
DESCRIPTION
With Amir Pnueli & Greta Yorsh. Probability vs. Logic. Players take turn & chooses an edge to follow from current vertex. Games. Verification G ame. [ LV]: Redefine winning to mean probability 1. Determinacy: we have a winner ( Borel sets). - PowerPoint PPT PresentationTRANSCRIPT
Slide 1
With Amir Pnueli &Greta YorshStart with a Seinfeld bit
1Probability vs. Logichttp://mathworld.wolfram.com/GaltonBoard.html
23GamesPlayers take turn & chooses an edge to follow from current vertexhttp://mathworld.wolfram.com/GaltonBoard.html
4Verification Game[LV]: Redefine winning to mean probability 1Determinacy: we have a winner (Borel sets)http://mathworld.wolfram.com/GaltonBoard.html
5Quantitative verification: motivationAlternatively: how many processes can runhttp://mathworld.wolfram.com/GaltonBoard.html
6Case of IndependenceWhich verified system are you going to buy?
http://mathworld.wolfram.com/GaltonBoard.html
7
Chernoff
8Normal
http://mathworld.wolfram.com/GaltonBoard.html
9Pairwise IndependenceApply other concentration of measure thmshttp://mathworld.wolfram.com/GaltonBoard.html
10Example
Not as Important ExamplesParametarized Verification
http://mathworld.wolfram.com/GaltonBoard.html
13
Pekeris & the S.A. Amphidromic pointParity GamesSymmetrichttp://mathworld.wolfram.com/GaltonBoard.html
15