Automatically assigned DDC number: 00424

Manually assigned DDC number: 0051015113

Number of references: 8

Title: Alternating-time Temporal Logic

Author:

Author:

Subject: Rajeev Alur,Thomas A. Henzinger Alternating-time Temporal Logic

Description: Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by system moves; branching-time temporal logic allows explicit existential and universal quantification over all paths. We introduce a third, more general variety of temporal logic: alternatingtime temporal logic offers selective quantification over those paths that are possible outcomes of games, such as the game in which the system and the environment alternate moves. While linear-time and branching-time logics are natural specification languages for closed systems, alternating-time logics are natural specification languages for open systems. For example, by preceding the temporal operator "eventually" with a selective path quantifier, we can specify that in the game between the system and the environment, the system has a strategy to reach a certain state. Also the problems of receptiveness, realizability, and controllability can be formulated...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-02-06

Pubyear: 1997

Format: ps

Identifier: http://citeseer.ist.psu.edu/174802.html

Source: http://www.cis.upenn.edu/~alur/Compos97.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/120884.html"   Type="article"   CiteSeer_Book="Formal   Methods   in   System   Design   An   International   Journal"   CiteSeer_Volume="15"   Title="Reactive   Modules,">

            <identifier   Org="ISBN:0198537689"   Paper_ID="/120884.html"   Extracted="0198537689"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0387976647"   Paper_ID="/120884.html"   Extracted="0387976647"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0415383404"   Paper_ID="/120884.html"   Extracted="0415383404"   />

            <identifier   Org="ISBN:081867783X"   Paper_ID="/120884.html"   Extracted="081867783X"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1586035029"   Paper_ID="/120884.html"   Extracted="1586035029"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540007423"   Paper_ID="/120884.html"   Extracted="3540007423"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540292004"   Paper_ID="/120884.html"   Extracted="3540292004"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540425411"   Paper_ID="/120884.html"   Extracted="3540425411"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540504036"   Paper_ID="/120884.html"   Extracted="3540504036"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540581790"   Paper_ID="/120884.html"   Extracted="3540581790"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540631410"   Paper_ID="/120884.html"   Extracted="3540631410"   />

            <identifier   Org="ISBN:3540643567"   Paper_ID="/120884.html"   Extracted="3540643567"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540649875"   Paper_ID="/120884.html"   Extracted="3540649875"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540662022"   Paper_ID="/120884.html"   Extracted="3540662022"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540677704"   Paper_ID="/120884.html"   Extracted="3540677704"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540679014"   Paper_ID="/120884.html"   Extracted="3540679014"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540775048"   Paper_ID="/120884.html"   Extracted="3540775048"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/493240.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   sixth   International   Conference   on   ComputerAided   Verification   CAV"   CiteSeer_Volume=""   Title="Methodology   and   System   for   Practical   Formal   Verification   of   Reactive   Hardware,">

            <identifier   Org="ISBN:0780332946"   Paper_ID="/493240.html"   Extracted="0780332946"   />

            <identifier   Org="ISBN:0818682558"   Paper_ID="/493240.html"   Extracted="0818682558"   />

            <identifier   Org="ISBN:1402085850"   Paper_ID="/493240.html"   Extracted="1402085850"   />

            <identifier   Org="ISBN:354030553X"   Paper_ID="/493240.html"   Extracted="354030553X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540418652"   Paper_ID="/493240.html"   Extracted="3540418652"   DDC="004.2/11"   Normalized_DDC="004211"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540439315"   Paper_ID="/493240.html"   Extracted="3540439315"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540581790"   Paper_ID="/493240.html"   Extracted="3540581790"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540600450"   Paper_ID="/493240.html"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540619372"   Paper_ID="/493240.html"   Extracted="3540619372"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540631666"   Paper_ID="/493240.html"   Extracted="3540631666"   DDC="004.24015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540642307"   Paper_ID="/493240.html"   Extracted="3540642307"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540648968"   Paper_ID="/493240.html"   Extracted="3540648968"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540651918"   Paper_ID="/493240.html"   Extracted="3540651918"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540654933"   Paper_ID="/493240.html"   Extracted="3540654933"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540677704"   Paper_ID="/493240.html"   Extracted="3540677704"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540755950"   Paper_ID="/493240.html"   Extracted="3540755950"   DDC="511.3/6028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/19422.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Fifth   Annual   IEEE   Symposium   on   Logic   in   Computer   Science"   CiteSeer_Volume=""   Title="{S}ymbolic   {M}odel   {C}hecking:   $10^{20}$   {S}tates   and   {B}eyond,"   />

      <rec   ID="/175303.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   sixth   International   Conference   on   ComputerAided   Verification   CAV"   CiteSeer_Volume=""   Title="An   Automata-Theoretic   Approach   to   Branching-Time   Model   Checking,">

            <identifier   Org="ISBN:078032563X"   Paper_ID="/175303.html"   Extracted="078032563X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1586037943"   Paper_ID="/175303.html"   Extracted="1586037943"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540000100"   Paper_ID="/175303.html"   Extracted="3540000100"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540008985"   Paper_ID="/175303.html"   Extracted="3540008985"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540242880"   Paper_ID="/175303.html"   Extracted="3540242880"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540311394"   Paper_ID="/175303.html"   Extracted="3540311394"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540418644"   Paper_ID="/175303.html"   Extracted="3540418644"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540423451"   Paper_ID="/175303.html"   Extracted="3540423451"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540434771"   Paper_ID="/175303.html"   Extracted="3540434771"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540581790"   Paper_ID="/175303.html"   Extracted="3540581790"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354062600X"   Paper_ID="/175303.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540631666"   Paper_ID="/175303.html"   Extracted="3540631666"   DDC="004.24015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540648968"   Paper_ID="/175303.html"   Extracted="3540648968"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540662243"   Paper_ID="/175303.html"   Extracted="3540662243"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540664084"   Paper_ID="/175303.html"   Extracted="3540664084"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540664920"   Paper_ID="/175303.html"   Extracted="3540664920"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540668365"   Paper_ID="/175303.html"   Extracted="3540668365"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540698493"   Paper_ID="/175303.html"   Extracted="3540698493"   />

            <identifier   Org="ISBN:3540705821"   Paper_ID="/175303.html"   Extracted="3540705821"   />

      </rec>

      <rec   ID="/105199.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   Computer   Aided   Verification   CAV   91"   CiteSeer_Volume=""   Title="A   Linear--Time   Model--Checking   Algorithm   for   the   Alternation--Free   Modal   Mu--Calculus.,">

            <identifier   Org="ISBN:0780336542"   Paper_ID="/105199.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="/105199.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:3540008985"   Paper_ID="/105199.html"   Extracted="3540008985"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540213147"   Paper_ID="/105199.html"   Extracted="3540213147"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354029189X"   Paper_ID="/105199.html"   Extracted="354029189X"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540423451"   Paper_ID="/105199.html"   Extracted="3540423451"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540441441"   Paper_ID="/105199.html"   Extracted="3540441441"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540551794"   Paper_ID="/105199.html"   Extracted="3540551794"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540555641"   Paper_ID="/105199.html"   Extracted="3540555641"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540558225"   Paper_ID="/105199.html"   Extracted="3540558225"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540582010"   Paper_ID="/105199.html"   Extracted="3540582010"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354058241X"   Paper_ID="/105199.html"   Extracted="354058241X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540583297"   Paper_ID="/105199.html"   Extracted="3540583297"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540584854"   Paper_ID="/105199.html"   Extracted="3540584854"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540600450"   Paper_ID="/105199.html"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540602186"   Paper_ID="/105199.html"   Extracted="3540602186"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540606300"   Paper_ID="/105199.html"   Extracted="3540606300"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540664920"   Paper_ID="/105199.html"   Extracted="3540664920"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354068235X"   Paper_ID="/105199.html"   Extracted="354068235X"   />

            <identifier   Org="ISBN:354088386X"   Paper_ID="/105199.html"   Extracted="354088386X"   />

      </rec>

      <rec   ID="/547580.html"   Type="article"   CiteSeer_Book="Information   and   Computation"   CiteSeer_Volume="141"   Title="Liveness   in   Timed   and   Untimed   Systems,">

            <identifier   Org="ISBN:0821802534"   Paper_ID="/547580.html"   Extracted="0821802534"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540205381"   Paper_ID="/547580.html"   Extracted="3540205381"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540407537"   Paper_ID="/547580.html"   Extracted="3540407537"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540418660"   Paper_ID="/547580.html"   Extracted="3540418660"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540434194"   Paper_ID="/547580.html"   Extracted="3540434194"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540582010"   Paper_ID="/547580.html"   Extracted="3540582010"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540584684"   Paper_ID="/547580.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540606300"   Paper_ID="/547580.html"   Extracted="3540606300"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354061155X"   Paper_ID="/547580.html"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540616047"   Paper_ID="/547580.html"   Extracted="3540616047"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540643583"   Paper_ID="/547580.html"   Extracted="3540643583"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540662022"   Paper_ID="/547580.html"   Extracted="3540662022"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540664637"   Paper_ID="/547580.html"   Extracted="3540664637"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540733671"   Paper_ID="/547580.html"   Extracted="3540733671"   />

            <identifier   Org="ISBN:3540744061"   Paper_ID="/547580.html"   Extracted="3540744061"   />

            <identifier   Org="ISBN:3540789286"   Paper_ID="/547580.html"   Extracted="3540789286"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354085777X"   Paper_ID="/547580.html"   Extracted="354085777X"   />

      </rec>

      <rec   ID="/135666.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Eighth   International   Conference   on   Computer   Aided   Verification   CAV"   CiteSeer_Volume=""   Title="Module   Checking,">

            <identifier   Org="ISBN:0387096795"   Paper_ID="/135666.html"   Extracted="0387096795"   DDC="616.07"   Normalized_DDC="61607"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:041595200X"   Paper_ID="/135666.html"   Extracted="041595200X"   DDC="370.11/5"   Normalized_DDC="370115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0596003439"   Paper_ID="/135666.html"   Extracted="0596003439"   DDC="005.4/32"   Normalized_DDC="005432"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:073571228X"   Paper_ID="/135666.html"   Extracted="073571228X"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0764579401"   Paper_ID="/135666.html"   Extracted="0764579401"   DDC="005.432"   Normalized_DDC="005432"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1565926471"   Paper_ID="/135666.html"   Extracted="1565926471"   DDC="005.2/762"   Normalized_DDC="0052762"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540202234"   Paper_ID="/135666.html"   Extracted="3540202234"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354034666X"   Paper_ID="/135666.html"   Extracted="354034666X"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540418652"   Paper_ID="/135666.html"   Extracted="3540418652"   DDC="004.2/11"   Normalized_DDC="004211"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540436316"   Paper_ID="/135666.html"   Extracted="3540436316"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540631666"   Paper_ID="/135666.html"   Extracted="3540631666"   DDC="004.24015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540638768"   Paper_ID="/135666.html"   Extracted="3540638768"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540654933"   Paper_ID="/135666.html"   Extracted="3540654933"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540664254"   Paper_ID="/135666.html"   Extracted="3540664254"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540665382"   Paper_ID="/135666.html"   Extracted="3540665382"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540712887"   Paper_ID="/135666.html"   Extracted="3540712887"   />

            <identifier   Org="ISBN:3540713891"   Paper_ID="/135666.html"   Extracted="3540713891"   DDC="005.12"   Normalized_DDC="00512"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540744061"   Paper_ID="/135666.html"   Extracted="3540744061"   />

            <identifier   Org="ISBN:3540894381"   Paper_ID="/135666.html"   Extracted="3540894381"   />

            <identifier   Org="ISBN:8181284070"   Paper_ID="/135666.html"   Extracted="8181284070"   />

      </rec>

      <rec   ID="/101863.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Theoretical   Aspects   of   Computer   Science"   CiteSeer_Volume=""   Title="On   the   Synthesis   of   Strategies   in   Infinite   Games,">

            <identifier   Org="ISBN:3540206809"   Paper_ID="/101863.html"   Extracted="3540206809"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540212361"   Paper_ID="/101863.html"   Extracted="3540212361"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354021299X"   Paper_ID="/101863.html"   Extracted="354021299X"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540230246"   Paper_ID="/101863.html"   Extracted="3540230246"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/101863.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540424997"   Paper_ID="/101863.html"   Extracted="3540424997"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540436316"   Paper_ID="/101863.html"   Extracted="3540436316"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540590420"   Paper_ID="/101863.html"   Extracted="3540590420"   DDC="004/.01/511"   Normalized_DDC="00401511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540600450"   Paper_ID="/101863.html"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/101863.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540626859"   Paper_ID="/101863.html"   Extracted="3540626859"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540643583"   Paper_ID="/101863.html"   Extracted="3540643583"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354065013X"   Paper_ID="/101863.html"   Extracted="354065013X"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540744061"   Paper_ID="/101863.html"   Extracted="3540744061"   />

            <identifier   Org="ISBN:3540754539"   Paper_ID="/101863.html"   Extracted="3540754539"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354077565X"   Paper_ID="/101863.html"   Extracted="354077565X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540852379"   Paper_ID="/101863.html"   Extracted="3540852379"   />

            <identifier   Org="ISBN:3540926860"   Paper_ID="/101863.html"   Extracted="3540926860"   />

            <identifier   Org="ISBN:9812382615"   Paper_ID="/101863.html"   Extracted="9812382615"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Alternating-time   Temporal   Logic">

            <identifier   Org="ISBN:0818681985"   Paper_ID="SELF"   Extracted="0818681985"   />

            <identifier   Org="ISBN:1402036000"   Paper_ID="SELF"   Extracted="1402036000"   DDC="121"   Normalized_DDC="121"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1852333928"   Paper_ID="SELF"   Extracted="1852333928"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:2874630772"   Paper_ID="SELF"   Extracted="2874630772"   />

            <identifier   Org="ISBN:3540221115"   Paper_ID="SELF"   Extracted="3540221115"   DDC="004.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540232427"   Paper_ID="SELF"   Extracted="3540232427"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540291067"   Paper_ID="SELF"   Extracted="3540291067"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540434100"   Paper_ID="SELF"   Extracted="3540434100"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540436316"   Paper_ID="SELF"   Extracted="3540436316"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540438580"   Paper_ID="SELF"   Extracted="3540438580"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540441859"   Paper_ID="SELF"   Extracted="3540441859"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540654933"   Paper_ID="SELF"   Extracted="3540654933"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540682643"   Paper_ID="SELF"   Extracted="3540682643"   />

            <identifier   Org="ISBN:3540705244"   Paper_ID="SELF"   Extracted="3540705244"   />

            <identifier   Org="ISBN:3540705821"   Paper_ID="SELF"   Extracted="3540705821"   />

            <identifier   Org="ISBN:3540752536"   Paper_ID="SELF"   Extracted="3540752536"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540755950"   Paper_ID="SELF"   Extracted="3540755950"   DDC="511.3/6028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540888322"   Paper_ID="SELF"   Extracted="3540888322"   />

      </rec>

</references_metadata>

www.000webhost.com