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