5,212 research outputs found
Playing Games in the Baire Space
We solve a generalized version of Church's Synthesis Problem where a play is
given by a sequence of natural numbers rather than a sequence of bits; so a
play is an element of the Baire space rather than of the Cantor space. Two
players Input and Output choose natural numbers in alternation to generate a
play. We present a natural model of automata ("N-memory automata") equipped
with the parity acceptance condition, and we introduce also the corresponding
model of "N-memory transducers". We show that solvability of games specified by
N-memory automata (i.e., existence of a winning strategy for player Output) is
decidable, and that in this case an N-memory transducer can be constructed that
implements a winning strategy for player Output.Comment: In Proceedings Cassting'16/SynCoP'16, arXiv:1608.0017
Interface Simulation Distances
The classical (boolean) notion of refinement for behavioral interfaces of
system components is the alternating refinement preorder. In this paper, we
define a distance for interfaces, called interface simulation distance. It
makes the alternating refinement preorder quantitative by, intuitively,
tolerating errors (while counting them) in the alternating simulation game. We
show that the interface simulation distance satisfies the triangle inequality,
that the distance between two interfaces does not increase under parallel
composition with a third interface, and that the distance between two
interfaces can be bounded from above and below by distances between
abstractions of the two interfaces. We illustrate the framework, and the
properties of the distances under composition of interfaces, with two case
studies.Comment: In Proceedings GandALF 2012, arXiv:1210.202
- …