@article{978, abstract = {The newly discovered topological crystalline insulators feature a complex band structure involving multiple Dirac cones, and are potentially highly tunable by external electric field, temperature or strain. Theoretically, it has been predicted that the various Dirac cones, which are offset in energy and momentum, might harbour vastly different orbital character. However, their orbital texture, which is of immense importance in determining a variety of a materialâ €™ s properties remains elusive. Here, we unveil the orbital texture of Pb 1â ̂'x Sn x Se, a prototypical topological crystalline insulator. By using Fourier-transform scanning tunnelling spectroscopy we measure the interference patterns produced by the scattering of surface-state electrons. We discover that the intensity and energy dependences of the Fourier transforms show distinct characteristics, which can be directly attributed to orbital effects. Our experiments reveal a complex band topology involving two Lifshitz transitions and establish the orbital nature of the Dirac bands, which could provide an alternative pathway towards future quantum applications.}, author = {Zeljkovic, Ilija and Okada, Yoshinori and Huang, Chengyi and Sankar, Raman and Walkup, Daniel and Zhou, Wenwen and Maksym Serbyn and Chou, Fangcheng and Tsai, Wei-Feng and Lin, Hsin and Bansil, Arun and Fu, Liang and Hasan, Md Z and Madhavan, Vidya}, journal = {Nature Physics}, number = {8}, pages = {572 -- 577}, publisher = {Nature Publishing Group}, title = {{Mapping the unconventional orbital texture in topological crystalline insulators}}, doi = {10.1038/nphys3012}, volume = {10}, year = {2014}, } @article{979, abstract = {In the recently discovered topological crystalline insulators SnTe and Pb1-xSnx(Te, Se), crystal symmetry and electronic topology intertwine to create topological surface states with many interesting features including Lifshitz transition, Van-Hove singularity, and fermion mass generation. These surface states are protected by mirror symmetry with respect to the (110) plane. In this work we present a comprehensive study of the effects of different mirror-symmetry-breaking perturbations on the (001) surface band structure. Pristine (001) surface states have four branches of Dirac fermions at low energy. We show that ferroelectric-type structural distortion generates a mass and gaps out some or all of these Dirac points, while strain shifts Dirac points in the Brillouin zone. An in-plane magnetic field leaves the surface state gapless, but introduces asymmetry between Dirac points. Finally, an out-of-plane magnetic field leads to discrete Landau levels. We show that the Landau level spectrum has an unusual pattern of degeneracy and interesting features due to the unique underlying band structure. This suggests that Landau level spectroscopy can detect and distinguish between different mechanisms of symmetry breaking in topological crystalline insulators.}, author = {Maksym Serbyn and Fu, Liang}, journal = {Physical Review B - Condensed Matter and Materials Physics}, number = {3}, publisher = {American Physical Society}, title = {{Symmetry breaking and Landau quantization in topological crystalline insulators}}, doi = {10.1103/PhysRevB.90.035402}, volume = {90}, year = {2014}, } @article{98, abstract = {Relaxation and dephasing of hole spins are measured in a gate-defined Ge/Si nanowire double quantum dot using a fast pulsed-gate method and dispersive readout. An inhomogeneous dephasing time T2* ∼ 0.18 μs exceeds corresponding measurements in III-V semiconductors by more than an order of magnitude, as expected for predominately nuclear-spin-free materials. Dephasing is observed to be exponential in time, indicating the presence of a broadband noise source, rather than Gaussian, previously seen in systems with nuclear-spin-dominated dephasing.}, author = {Higginbotham, Andrew P and Larsen, Thorvald and Yao, Jun and Yan, Hao and Lieber, Charles and Marcus, Charles and Kuemmeth, Ferdinand}, journal = {Nano Letters}, number = {6}, pages = {3582 -- 3586}, publisher = {American Chemical Society}, title = {{Hole spin coherence in a Ge/Si heterostructure nanowire}}, doi = {10.1021/nl501242b}, volume = {14}, year = {2014}, } @article{980, abstract = {Many-body localized (MBL) systems are characterized by the absence of transport and thermalization and, therefore, cannot be described by conventional statistical mechanics. In this paper, using analytic arguments and numerical simulations, we study the behavior of local observables in an isolated MBL system following a quantum quench. For the case of a global quench, we find that the local observables reach stationary, highly nonthermal values at long times as a result of slow dephasing characteristic of the MBL phase. These stationary values retain the local memory of the initial state due to the existence of local integrals of motion in the MBL phase. The temporal fluctuations around stationary values exhibit universal power-law decay in time, with an exponent set by the localization length and the diagonal entropy of the initial state. Such a power-law decay holds for any local observable and is related to the logarithmic in time growth of entanglement in the MBL phase. This behavior distinguishes the MBL phase from both the Anderson insulator (where no stationary state is reached) and from the ergodic phase (where relaxation is expected to be exponential). For the case of a local quench, we also find a power-law approach of local observables to their stationary values when the system is prepared in a mixed state. Quench protocols considered in this paper can be naturally implemented in systems of ultracold atoms in disordered optical lattices, and the behavior of local observables provides a direct experimental signature of many-body localization.}, author = {Maksym Serbyn and Papić, Zlatko and Abanin, Dmitry A}, journal = {Physical Review B - Condensed Matter and Materials Physics}, number = {17}, publisher = {American Physical Society}, title = {{Quantum quenches in the many-body localized phase}}, doi = {10.1103/PhysRevB.90.174302}, volume = {90}, year = {2014}, } @misc{9888, abstract = {Detailed description of the experimental prodedures, data analyses and additional statistical analyses of the results.}, author = {Wolf, Stephan and Mcmahon, Dino and Lim, Ka and Pull, Christopher and Clark, Suzanne and Paxton, Robert and Osborne, Juliet}, publisher = {Public Library of Science}, title = {{Supporting information}}, doi = {10.1371/journal.pone.0103989.s003}, year = {2014}, } @article{9931, abstract = {Gene duplication is important in evolution, because it provides new raw material for evolutionary adaptations. Several existing hypotheses about the causes of duplicate retention and diversification differ in their emphasis on gene dosage, subfunctionalization, and neofunctionalization. Little experimental data exist on the relative importance of gene expression changes and changes in coding regions for the evolution of duplicate genes. Furthermore, we do not know how strongly the environment could affect this importance. To address these questions, we performed evolution experiments with the TEM-1 beta lactamase gene in Escherichia coli to study the initial stages of duplicate gene evolution in the laboratory. We mimicked tandem duplication by inserting two copies of the TEM-1 gene on the same plasmid. We then subjected these copies to repeated cycles of mutagenesis and selection in various environments that contained antibiotics in different combinations and concentrations. Our experiments showed that gene dosage is the most important factor in the initial stages of duplicate gene evolution, and overshadows the importance of point mutations in the coding region.}, author = {Dhar, Riddhiman and Bergmiller, Tobias and Wagner, Andreas}, issn = {1558-5646}, journal = {Evolution}, number = {6}, pages = {1775--1791}, publisher = {Wiley}, title = {{Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes}}, doi = {10.1111/evo.12373}, volume = {68}, year = {2014}, } @misc{9932, abstract = {Gene duplication is important in evolution, because it provides new raw material for evolutionary adaptations. Several existing hypotheses about the causes of duplicate retention and diversification differ in their emphasis on gene dosage, sub-functionalization, and neo-functionalization. Little experimental data exists on the relative importance of gene expression changes and changes in coding regions for the evolution of duplicate genes. Furthermore, we do not know how strongly the environment could affect this importance. To address these questions, we performed evolution experiments with the TEM-1 beta lactamase gene in E. coli to study the initial stages of duplicate gene evolution in the laboratory. We mimicked tandem duplication by inserting two copies of the TEM-1 gene on the same plasmid. We then subjected these copies to repeated cycles of mutagenesis and selection in various environments that contained antibiotics in different combinations and concentrations. Our experiments showed that gene dosage is the most important factor in the initial stages of duplicate gene evolution, and overshadows the importance of point mutations in the coding region.}, author = {Dhar, Riddhiman and Bergmiller, Tobias and Wagner, Andreas}, publisher = {Dryad}, title = {{Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes}}, doi = {10.5061/dryad.jc402}, year = {2014}, } @article{348, abstract = {Bi2S3-xTex bulk nanocomposites with crystal domain sizes in the range from 50 nm to 100 nm were obtained from the reaction of Bi2S3 nanorods with Te powder. The thermoelectric properties of the obtained nanocomposites were analysed in the temperature range from 0°C to 300°C. We observed how the thermoelectric properties of the material improved with the annealing temperature, being a spark plasma sintering process needed to maintain the material nanostructuration while maximising its electrical properties. Finally thermoelectric dimensionless figures of merit ZT up to 0.42 were obtained before any charge carrier concentration optimisation. Copyright © 2014 Inderscience Enterprises Ltd. }, author = {Cadavid, Doris and Ibáñez, Maria and Anselmi Tamburini, Umberto and Durá, Oscar and De La Torre, Marco and Cabot, Andreu}, journal = {International Journal of Nanotechnology}, number = {9-11}, pages = {773 -- 784}, publisher = {Inderscience Enterprises Limited }, title = {{Thermoelectric properties of bottom up assembled Bi2S 3-xTex nanocomposites}}, doi = {10.1504/IJNT.2014.063787}, volume = {11}, year = {2014}, } @article{349, abstract = {Thermoelectricity is a key technology with the potential to improve the efficiency of energy conversion processes, which may strongly benefit from advances in the field of nanotechnology. Nanostructured materials are very appealing for thermoelectric applications, but the full development of their potential requires precise control of their properties at the nanoscale. Bottom-up assembly of nanoparticles provides access to a three-dimensional composition control at the nanoscale not attainable in any other technology. In particular, colloidal nanoheterostructures are especially interesting building blocks for the bottom-up production of functional nanomaterials. In the present work, we use PbTe@PbS core-shell nanoparticles as building blocks for the bottom-up production of PbTe-PbS nanocomposites. We used a ligand exchange strategy and a hot press process to promote the electrical conductivity of the nanocomposite and to increase its density. These two approaches allowed us to improve the performance of bottom-up assembled PbTe-PbS bulk nanostructured materials. }, author = {Ortega, Silvia and Ibáñez, Maria and Cadavid, Doris and Cabot, Andreu}, journal = {International Journal of Nanotechnology}, number = {9-11}, pages = {955 -- 970}, publisher = {Inderscience Enterprises Limited }, title = {{Bottom up processing of PbTe PbS thermoelectric nanocomposites}}, doi = {10.1504/IJNT.2014.063802}, volume = {11}, year = {2014}, } @article{350, abstract = {Herein, a colloidal synthetic route to produce highly monodisperse Cu2HgGeSe4 (CHGSe) nanoparticles (NPs) is presented in detail. The high yield of the developed procedure allowed the production of CHGSe NPs at the gram scale. A thorough analysis of their structural and optical properties is shown. CHGSe NPs displayed poly-tetrahedral morphology and narrow size distributions with average size in the range of 10–40 nm and size dispersions below 10 %. A 1.6 eV optical band gap was measured by mean of UV–Vis. By adjusting the cation ratio, an effective control of their electrical conductivity is achieved. The prepared NPs are used as building blocks for the production of CHGSe bulk nanostructured materials. The thermoelectric properties of CHGSe nanomaterials are studied in the temperature range from 300 to 730 K. CHGSe nanomaterials reached electrical conductivities up to 5 × 104 S m−1, Seebeck coefficients above 100 μV K−1, and thermal conductivities below 1.0 W m−1 K−1 which translated into thermoelectric figures of merit up to 0.34 at 730 K.}, author = {Li, Wenhua and Ibáñez, Maria and Cadavid, Doris and Zamani, Reza and Rubio Garcia, Javier and Gorsse, Stéphane and Morante, Joan and Arbiol, Jordi and Cabot, Andreu}, journal = {Journal of Nanoparticle Research}, number = {3}, publisher = {Kluwer}, title = {{Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4}}, doi = {10.1007/s11051-014-2297-2}, volume = {16}, year = {2014}, } @article{355, abstract = {We report on the photocatalytic hydrogen evolution under full-arc light irradiation of CuIn1-xGaxS2 wurtzite nanocrystals in the presence of SO3 2- and S2- as sacrificial reagents. We analyzed the hydrogen generation rate as a function of the Ga content and associated it with the energy band positions. For photocatalytic water splitting, the CuInS2 bandgap is slightly too low to efficiently overcome the reaction over-potential. The presence of Ga shifts up the CuInS2 conduction band edge providing a larger driving force for photogenerated carriers to activate the water splitting reduction reaction. The larger the Ga content, the more energetically favorable the electron injection, and thus a more efficient use of the photogenerated carriers is reached. However, the band gap increase associated with the Ga incorporation reduces the concentration of photogenerated carriers available for water splitting, and consequently a lower hydrogen conversion rate is obtained for very high Ga contents. The optimum Ga concentration was experimentally found at CuIn0.3Ga0.7S2. }, author = {Yu, Xuelian and An, Xiaoqiang and Shavel, Alexey and Ibáñez, Maria and Cabot, Andreu}, journal = {Journal of Materials Chemistry A}, number = {31}, pages = {12317 -- 12322}, publisher = {Royal Society of Chemistry}, title = {{The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals}}, doi = {10.1039/c4ta01315h}, volume = {2}, year = {2014}, } @article{356, abstract = {Cu2ZnSnS4, based on abundant and environmental friendly elements and with a direct band gap of 1.5 eV, is a main candidate material for solar energy conversion through both photovoltaics and photocatalysis. We detail here the synthesis of quasi-spherical Cu 2ZnSnS4 nanoparticles with unprecedented narrow size distributions. We further detail their use as seeds to produce CZTS-Au and CZTS-Pt heterostructured nanoparticles. Such heterostructured nanoparticles are shown to have excellent photocatalytic properties toward degradation of Rhodamine B and hydrogen generation by water splitting.}, author = {Yu, Xuelian and Shavel, Alexey and An, Xiaoqiang and Luo, Zhishan and Ibáñez, Maria and Cabot, Andreu}, journal = {Journal of the American Chemical Society}, number = {26}, pages = {9236 -- 9239}, publisher = {American Chemical Society}, title = {{Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation}}, doi = {10.1021/ja502076b}, volume = {136}, year = {2014}, } @article{357, abstract = {Near-resonant Raman scattering measurements of zinc sulfide nanoparticles and thin films have been made and correlated to grain and particle size, respectively, using a 325 nm wavelength excitation source. The area ratios between the first, second, and third order peaks of ZnS identified as the T 2(LO) mode decrease with increasing ZnS grain size. This is an effect attributed to changes in the bandgap energy from quantum confinement due to the varying grain size between the films/particles, as noted by a shift in the room temperature photoluminescence emission corresponding to the free exciton emission energy. While Raman scattering spectroscopy is typically limited to identification of phases and their crystalline properties, it is possible to attain more than such straightforward information by calibrating the spectral features to variations between sets of samples. These results open the possibility of making a quantitative grain size estimation in ZnS thin films and nanostructures, as well as in other material systems where ZnS may be expected as a secondary phase, such as Cu2ZnSnS4. Additionally, more commonly used excitation wavelengths for Raman scattering, such as 514 and 532 nm, are shown to be of limited use in characterizing ZnS thin films due to the extremely low Raman scattering efficiency of ZnS in films with sub-micron thicknesses. }, author = {Fairbrother, Andrew and Izquierdo Roca, Victor and Fontané, Xavier and Ibáñez, Maria and Cabot, Andreu and Saucedo, Edgardo and Pérez Rodríguez, Alejandro}, journal = {CrystEngComm}, number = {20}, pages = {4120 -- 4125}, publisher = {Royal Society of Chemistry}, title = {{ZnS grain size effects on near-resonant Raman scattering: Optical non-destructive grain size estimation}}, doi = {10.1039/c3ce42578a}, volume = {16}, year = {2014}, } @article{358, abstract = {Monodispersed Pt3Sn nanoparticles were prepared through a mild thermal synthesis in the presence of surfactants. The performance of Pt3Sn for the electrooxidation of ethanol and adsorbed carbon monoxide (COad) in acid medium was studied by a combination of electrochemical and insitu spectroscopic methods, namely, infrared reflection absorption spectroscopy and differential electrochemical mass spectrometry (DEMS), and the results were compared to those obtained with the use of Pt black. The formation of the Pt3Sn solid solution promoted the oxidation of COad at less-positive potentials than those required for Pt black. Also, the electrooxidation of ethanol, especially at lower potentials, was more favorable with Pt3Sn, as deduced from the higher faradaic currents recorded during the ethanol oxidation reaction (EOR). However, the distribution of products as deduced by DEMS analysis suggested that the formation of C1 products, CO2 inclusive, is less significant on Pt3Sn than on Pt. In fact, the higher faradaic current recorded with the former catalyst can be attributed to the greater amounts of acetaldehyde and acetic acid formed. After the EOR, the surface of both Pt and Pt3Sn remained covered by ethanol adsorbates. Whereas C2 fragments were the main adsorbates at the surface of Pt3Sn after the EOR, both C1 and C2 species remained adsorbed at Pt black.}, author = {Herranz, Tirma and Ibáñez, Maria and Gómez De La Fuente, José and Pérez Alonso, Francisco and Peña, Miguel and Cabot, Andreu and Rojas, Sergio}, journal = {ChemElectroChem}, number = {5}, pages = {885 -- 895}, publisher = {Wiley-Blackwell}, title = {{In situ study of ethanol electrooxidation on monodispersed Pt inf 3 inf Sn nanoparticles}}, doi = {10.1002/celc.201300254}, volume = {1}, year = {2014}, } @article{359, abstract = {An appropriate way of realizing property nanoengineering in complex quaternary chalcogenide nanocrystals is presented for Cu2Cd xSnSey(CCTSe) polypods. The pivotal role of the polarity in determining morphology, growth, and the polytypic branching mechanism is demonstrated. Polarity is considered to be responsible for the formation of an initial seed that takes the form of a tetrahedron with four cation-polar facets. Size and shape confinement of the intermediate pentatetrahedral seed is also attributed to polarity, as their external facets are anion-polar. The final polypod extensions also branch out as a result of a cation-polarity-driven mechanism. Aberration-corrected scanning transmission electron microscopy is used to identify stannite cation ordering, while ab initio studies are used to show the influence of cation ordering/distortion, stoichiometry, and polytypic structural change on the electronic band structure.}, author = {Zamani, Reza and Ibáñez, Maria and Luysberg, Martina and García Castelló, Nuria and Houben, Lothar and Prades, Joan and Grillo, Vincenzo and Dunin Borkowski, Rafal and Morante, Joan and Cabot, Andreu and Arbiol, Jordi}, journal = {ACS Nano}, number = {3}, pages = {2290 -- 2301}, publisher = {American Chemical Society}, title = {{Polarity-driven polytypic branching in Cu-based quaternary chalcogenide nanostructures}}, doi = {10.1021/nn405747h}, volume = {8}, year = {2014}, } @article{451, abstract = {We introduce algorithms for the computation of homology, cohomology, and related operations on cubical cell complexes, using the technique based on a chain contraction from the original chain complex to a reduced one that represents its homology. This work is based on previous results for simplicial complexes, and uses Serre’s diagonalization for cubical cells. An implementation in C++ of the introduced algorithms is available at http://www.pawelpilarczyk.com/chaincon/ together with some examples. The paper is self-contained as much as possible, and is written at a very elementary level, so that basic knowledge of algebraic topology should be sufficient to follow it.}, author = {Pawel Pilarczyk and Real, Pedro}, journal = {Advances in Computational Mathematics}, number = {1}, pages = {253 -- 275}, publisher = {Kluwer}, title = {{Computation of cubical homology, cohomology, and (co)homological operations via chain contraction}}, doi = {10.1007/s10444-014-9356-1}, volume = {41}, year = {2014}, } @article{2443, abstract = {The mode of action of auxin is based on its non-uniform distribution within tissues and organs. Despite the wide use of several auxin analogues in research and agriculture, little is known about the specificity of different auxin-related transport and signalling processes towards these compounds. Using seedlings of Arabidopsis thaliana and suspension-cultured cells of Nicotiana tabacum (BY-2), the physiological activity of several auxin analogues was investigated, together with their capacity to induce auxin-dependent gene expression, to inhibit endocytosis and to be transported across the plasma membrane. This study shows that the specificity criteria for different auxin-related processes vary widely. Notably, the special behaviour of some synthetic auxin analogues suggests that they might be useful tools in investigations of the molecular mechanism of auxin action. Thus, due to their differential stimulatory effects on DR5 expression, indole-3-propionic (IPA) and 2,4,5-trichlorophenoxy acetic (2,4,5-T) acids can serve in studies of TRANSPORT INHIBITOR RESPONSE 1/AUXIN SIGNALLING F-BOX (TIR1/AFB)-mediated auxin signalling, and 5-fluoroindole-3-acetic acid (5-F-IAA) can help to discriminate between transcriptional and non-transcriptional pathways of auxin signalling. The results demonstrate that the major determinants for the auxin-like physiological potential of a particular compound are very complex and involve its chemical and metabolic stability, its ability to distribute in tissues in a polar manner and its activity towards auxin signalling machinery.}, author = {Simon, Sibu and Kubeš, Martin and Baster, Pawel and Robert, Stéphanie and Dobrev, Petre and Friml, Jirí and Petrášek, Jan and Zažímalová, Eva}, journal = {New Phytologist}, number = {4}, pages = {1034 -- 1048}, publisher = {Wiley}, title = {{Defining the selectivity of processes along the auxin response chain: A study using auxin analogues}}, doi = {10.1111/nph.12437}, volume = {200}, year = {2013}, } @inproceedings{2444, abstract = {We consider two core algorithmic problems for probabilistic verification: the maximal end-component decomposition and the almost-sure reachability set computation for Markov decision processes (MDPs). For MDPs with treewidth k, we present two improved static algorithms for both the problems that run in time O(n·k 2.38·2k ) and O(m·logn· k), respectively, where n is the number of states and m is the number of edges, significantly improving the previous known O(n·k·√n· k) bound for low treewidth. We also present decremental algorithms for both problems for MDPs with constant treewidth that run in amortized logarithmic time, which is a huge improvement over the previously known algorithms that require amortized linear time.}, author = {Chatterjee, Krishnendu and Ła̧Cki, Jakub}, location = {St. Petersburg, Russia}, pages = {543 -- 558}, publisher = {Springer}, title = {{Faster algorithms for Markov decision processes with low treewidth}}, doi = {10.1007/978-3-642-39799-8_36}, volume = {8044}, year = {2013}, } @inproceedings{2445, abstract = {We develop program synthesis techniques that can help programmers fix concurrency-related bugs. We make two new contributions to synthesis for concurrency, the first improving the efficiency of the synthesized code, and the second improving the efficiency of the synthesis procedure itself. The first contribution is to have the synthesis procedure explore a variety of (sequential) semantics-preserving program transformations. Classically, only one such transformation has been considered, namely, the insertion of synchronization primitives (such as locks). Based on common manual bug-fixing techniques used by Linux device-driver developers, we explore additional, more efficient transformations, such as the reordering of independent instructions. The second contribution is to speed up the counterexample-guided removal of concurrency bugs within the synthesis procedure by considering partial-order traces (instead of linear traces) as counterexamples. A partial-order error trace represents a set of linear (interleaved) traces of a concurrent program all of which lead to the same error. By eliminating a partial-order error trace, we eliminate in a single iteration of the synthesis procedure all linearizations of the partial-order trace. We evaluated our techniques on several simplified examples of real concurrency bugs that occurred in Linux device drivers.}, author = {Cerny, Pavol and Henzinger, Thomas A and Radhakrishna, Arjun and Ryzhyk, Leonid and Tarrach, Thorsten}, location = {St. Petersburg, Russia}, pages = {951 -- 967}, publisher = {Springer}, title = {{Efficient synthesis for concurrency by semantics-preserving transformations}}, doi = {10.1007/978-3-642-39799-8_68}, volume = {8044}, year = {2013}, } @inproceedings{2446, abstract = {The model-checking problem for probabilistic systems crucially relies on the translation of LTL to deterministic Rabin automata (DRW). Our recent Safraless translation [KE12, GKE12] for the LTL(F,G) fragment produces smaller automata as compared to the traditional approach. In this work, instead of DRW we consider deterministic automata with acceptance condition given as disjunction of generalized Rabin pairs (DGRW). The Safraless translation of LTL(F,G) formulas to DGRW results in smaller automata as compared to DRW. We present algorithms for probabilistic model-checking as well as game solving for DGRW conditions. Our new algorithms lead to improvement both in terms of theoretical bounds as well as practical evaluation. We compare PRISM with and without our new translation, and show that the new translation leads to significant improvements.}, author = {Chatterjee, Krishnendu and Gaiser, Andreas and Kretinsky, Jan}, location = {St. Petersburg, Russia}, pages = {559 -- 575}, publisher = {Springer}, title = {{Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis}}, doi = {10.1007/978-3-642-39799-8_37}, volume = {8044}, year = {2013}, }