3,674 research outputs found
Looking at Mean-Payoff through Foggy Windows
Mean-payoff games (MPGs) are infinite duration two-player zero-sum games
played on weighted graphs. Under the hypothesis of perfect information, they
admit memoryless optimal strategies for both players and can be solved in
NP-intersect-coNP. MPGs are suitable quantitative models for open reactive
systems. However, in this context the assumption of perfect information is not
always realistic. For the partial-observation case, the problem that asks if
the first player has an observation-based winning strategy that enforces a
given threshold on the mean-payoff, is undecidable. In this paper, we study the
window mean-payoff objectives that were introduced recently as an alternative
to the classical mean-payoff objectives. We show that, in sharp contrast to the
classical mean-payoff objectives, some of the window mean-payoff objectives are
decidable in games with partial-observation
Compositional Algorithms for Succinct Safety Games
We study the synthesis of circuits for succinct safety specifications given
in the AIG format. We show how AIG safety specifications can be decomposed
automatically into sub specifications. Then we propose symbolic compositional
algorithms to solve the synthesis problem compositionally starting for the
sub-specifications. We have evaluated the compositional algorithms on a set of
benchmarks including those proposed for the first synthesis competition
organised in 2014 by the Synthesis Workshop affiliated to the CAV conference.
We show that a large number of benchmarks can be decomposed automatically and
solved more efficiently with the compositional algorithms that we propose in
this paper.Comment: In Proceedings SYNT 2015, arXiv:1602.0078
AbsSynthe: abstract synthesis from succinct safety specifications
In this paper, we describe a synthesis algorithm for safety specifications
described as circuits. Our algorithm is based on fixpoint computations,
abstraction and refinement, it uses binary decision diagrams as symbolic data
structure. We evaluate our tool on the benchmarks provided by the organizers of
the synthesis competition organized within the SYNT'14 workshop.Comment: In Proceedings SYNT 2014, arXiv:1407.493
Stuttering Min oscillations within E. coli bacteria: A stochastic polymerization model
We have developed a 3D off-lattice stochastic polymerization model to study
subcellular oscillation of Min proteins in the bacteria Escherichia coli, and
used it to investigate the experimental phenomenon of Min oscillation
stuttering. Stuttering was affected by the rate of immediate rebinding of MinE
released from depolymerizing filament tips (processivity), protection of
depolymerizing filament tips from MinD binding, and fragmentation of MinD
filaments due to MinE. Each of processivity, protection, and fragmentation
reduces stuttering, speeds oscillations, and reduces MinD filament lengths.
Neither processivity or tip-protection were, on their own, sufficient to
produce fast stutter-free oscillations. While filament fragmentation could, on
its own, lead to fast oscillations with infrequent stuttering; high levels of
fragmentation degraded oscillations. The infrequent stuttering observed in
standard Min oscillations are consistent with short filaments of MinD, while we
expect that mutants that exhibit higher stuttering frequencies will exhibit
longer MinD filaments. Increased stuttering rate may be a useful diagnostic to
find observable MinD polymerization in experimental conditions.Comment: 21 pages, 7 figures, missing unit for k_f inserte
Raman-scattering study of the phonon dispersion in twisted bi-layer graphene
Bi-layer graphene with a twist angle \theta\ between the layers generates a
superlattice structure known as Moir\'{e} pattern. This superlattice provides a
\theta-dependent q wavevector that activates phonons in the interior of the
Brillouin zone. Here we show that this superlattice-induced Raman scattering
can be used to probe the phonon dispersion in twisted bi-layer graphene (tBLG).
The effect reported here is different from the broadly studied double-resonance
in graphene-related materials in many aspects, and despite the absence of
stacking order in tBLG, layer breathing vibrations (namely ZO' phonons) are
observed.Comment: 18 pages, 4 figures, research articl
- …