Games in open systems verification and synthesis

Authors:
Yiu-Chung Mang;Thomas A. Henzinger
Affiliations:
-;-
Venue:
Games in open systems verification and synthesis
Year:
2002

Citing 0
Cited 3

Monitoring Interfaces for Faults

Electronic Notes in Theoretical Computer Science (ENTCS)
Extracting winning strategies in update games

CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
Solving infinite games on trees with back-edges

CATS '12 Proceedings of the Eighteenth Computing: The Australasian Theory Symposium - Volume 128

Quantified Score

Hi-index	0.00

Visualization

Abstract