Concurrent reachability games

Annual Symposium on Foundations of Computer Science - Proceedings

Volumn , Issue , 1998, Pages 564-575

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

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER SYSTEMS PROGRAMMING; FORMAL LOGIC; GAME THEORY; MATHEMATICAL MODELS; POLYNOMIALS; RANDOM PROCESSES;

CONCURRENT REACHABILITY GAMES;

OPEN SYSTEMS;

EID: 0032305853     PISSN: 02725428     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)