Concurrent omega-regular games

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2000, Pages 141-154

  de Alfaro, Luca ^a   Henzinger, Thomas A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; FINITE AUTOMATA; MATHEMATICAL MODELS; PROBABILITY; RANDOM PROCESSES;

CONCURRENT GAME; OMEGA REGULAR GAME; RABIN-CHAIN GAME;

GAME THEORY;

EID: 0033716150     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)