8 search results - page 2 / 2 » Generalised Rabin(1) synthesis |
102
Voted
ENTCS
2006
15 years 13 days ago
2006
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...
101
click to vote
CONCUR
2010
Springer
15 years 19 days ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
86
Voted
CORR
2010
Springer
15 years 16 days ago
2010
Springer
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...