@article{279,
  abstract     = {Background: Natural selection shapes cancer genomes. Previous studies used signatures of positive selection to identify genes driving malignant transformation. However, the contribution of negative selection against somatic mutations that affect essential tumor functions or specific domains remains a controversial topic. Results: Here, we analyze 7546 individual exomes from 26 tumor types from TCGA data to explore the portion of the cancer exome under negative selection. Although we find most of the genes neutrally evolving in a pan-cancer framework, we identify essential cancer genes and immune-exposed protein regions under significant negative selection. Moreover, our simulations suggest that the amount of negative selection is underestimated. We therefore choose an empirical approach to identify genes, functions, and protein regions under negative selection. We find that expression and mutation status of negatively selected genes is indicative of patient survival. Processes that are most strongly conserved are those that play fundamental cellular roles such as protein synthesis, glucose metabolism, and molecular transport. Intriguingly, we observe strong signals of selection in the immunopeptidome and proteins controlling peptide exposition, highlighting the importance of immune surveillance evasion. Additionally, tumor type-specific immune activity correlates with the strength of negative selection on human epitopes. Conclusions: In summary, our results show that negative selection is a hallmark of cell essentiality and immune response in cancer. The functional domains identified could be exploited therapeutically, ultimately allowing for the development of novel cancer treatments.},
  author       = {Zapata, Luis and Pich, Oriol and Serrano, Luis and Kondrashov, Fyodor and Ossowski, Stephan and Schaefer, Martin},
  journal      = {Genome Biology},
  publisher    = {BioMed Central},
  title        = {{Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome}},
  doi          = {10.1186/s13059-018-1434-0},
  volume       = {19},
  year         = {2018},
}

@article{28,
  abstract     = {This scientific commentary refers to ‘NEGR1 and FGFR2 cooperatively regulate cortical development and core behaviours related to autism disorders in mice’ by Szczurkowska et al. },
  author       = {Contreras, Ximena and Hippenmeyer, Simon},
  journal      = {Brain a journal of neurology},
  number       = {9},
  pages        = {2542 -- 2544},
  publisher    = {Oxford University Press},
  title        = {{Incorrect trafficking route leads to autism}},
  doi          = {10.1093/brain/awy218},
  volume       = {141},
  year         = {2018},
}

@article{280,
  abstract     = {Flowers have a species-specific functional life span that determines the time window in which pollination, fertilization and seed set can occur. The stigma tissue plays a key role in flower receptivity by intercepting pollen and initiating pollen tube growth toward the ovary. In this article, we show that a developmentally controlled cell death programme terminates the functional life span of stigma cells in Arabidopsis. We identified the leaf senescence regulator ORESARA1 (also known as ANAC092) and the previously uncharacterized KIRA1 (also known as ANAC074) as partially redundant transcription factors that modulate stigma longevity by controlling the expression of programmed cell death-associated genes. KIRA1 expression is sufficient to induce cell death and terminate floral receptivity, whereas lack of both KIRA1 and ORESARA1 substantially increases stigma life span. Surprisingly, the extension of stigma longevity is accompanied by only a moderate extension of flower receptivity, suggesting that additional processes participate in the control of the flower's receptive life span.},
  author       = {Gao, Zhen and Daneva, Anna and Salanenka, Yuliya and Van Durme, Matthias and Huysmans, Marlies and Lin, Zongcheng and De Winter, Freya and Vanneste, Steffen and Karimi, Mansour and Van De Velde, Jan and Vandepoele, Klaas and Van De Walle, Davy and Dewettinck, Koen and Lambrecht, Bart and Nowack, Moritz},
  journal      = {Nature Plants},
  number       = {6},
  pages        = {365 -- 375},
  publisher    = {Nature Publishing Group},
  title        = {{KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis}},
  doi          = {10.1038/s41477-018-0160-7},
  volume       = {4},
  year         = {2018},
}

@article{281,
  abstract     = {Although cells respond specifically to environments, how environmental identity is encoded intracellularly is not understood. Here, we study this organization of information in budding yeast by estimating the mutual information between environmental transitions and the dynamics of nuclear translocation for 10 transcription factors. Our method of estimation is general, scalable, and based on decoding from single cells. The dynamics of the transcription factors are necessary to encode the highest amounts of extracellular information, and we show that information is transduced through two channels: Generalists (Msn2/4, Tod6 and Dot6, Maf1, and Sfp1) can encode the nature of multiple stresses, but only if stress is high; specialists (Hog1, Yap1, and Mig1/2) encode one particular stress, but do so more quickly and for a wider range of magnitudes. In particular, Dot6 encodes almost as much information as Msn2, the master regulator of the environmental stress response. Each transcription factor reports differently, and it is only their collective behavior that distinguishes between multiple environmental states. Changes in the dynamics of the localization of transcription factors thus constitute a precise, distributed internal representation of extracellular change. We predict that such multidimensional representations are common in cellular decision-making.},
  author       = {Granados, Alejandro and Pietsch, Julian and Cepeda Humerez, Sarah A and Farquhar, Isebail and Tkacik, Gasper and Swain, Peter},
  journal      = {PNAS},
  number       = {23},
  pages        = {6088 -- 6093},
  publisher    = {National Academy of Sciences},
  title        = {{Distributed and dynamic intracellular organization of extracellular information}},
  doi          = {10.1073/pnas.1716659115},
  volume       = {115},
  year         = {2018},
}

@article{282,
  abstract     = {Adaptive introgression is common in nature and can be driven by selection acting on multiple, linked genes. We explore the effects of polygenic selection on introgression under the infinitesimal model with linkage. This model assumes that the introgressing block has an effectively infinite number of genes, each with an infinitesimal effect on the trait under selection. The block is assumed to introgress under directional selection within a native population that is genetically homogeneous. We use individual-based simulations and a branching process approximation to compute various statistics of the introgressing block, and explore how these depend on parameters such as the map length and initial trait value associated with the introgressing block, the genetic variability along the block, and the strength of selection. Our results show that the introgression dynamics of a block under infinitesimal selection is qualitatively different from the dynamics of neutral introgression. We also find that in the long run, surviving descendant blocks are likely to have intermediate lengths, and clarify how the length is shaped by the interplay between linkage and infinitesimal selection. Our results suggest that it may be difficult to distinguish introgression of single loci from that of genomic blocks with multiple, tightly linked and weakly selected loci.},
  author       = {Sachdeva, Himani and Barton, Nicholas H},
  journal      = {Genetics},
  number       = {4},
  pages        = {1279 -- 1303},
  publisher    = {Genetics Society of America},
  title        = {{Introgression of a block of genome under infinitesimal selection}},
  doi          = {10.1534/genetics.118.301018},
  volume       = {209},
  year         = {2018},
}

@article{283,
  abstract     = {Light represents the principal signal driving circadian clock entrainment. However, how light influences the evolution of the clock remains poorly understood. The cavefish Phreatichthys andruzzii represents a fascinating model to explore how evolution under extreme aphotic conditions shapes the circadian clock, since in this species the clock is unresponsive to light. We have previously demonstrated that loss-of-function mutations targeting non-visual opsins contribute in part to this blind clock phenotype. Here, we have compared orthologs of two core clock genes that play a key role in photic entrainment, cry1a and per2, in both zebrafish and P. andruzzii. We encountered aberrantly spliced variants for the P. andruzzii per2 transcript. The most abundant transcript encodes a truncated protein lacking the C-terminal Cry binding domain and incorporating an intronic, transposon-derived coding sequence. We demonstrate that the transposon insertion leads to a predominantly cytoplasmic localization of the cavefish Per2 protein in contrast to the zebrafish ortholog which is distributed in both the nucleus and cytoplasm. Thus, it seems that during evolution in complete darkness, the photic entrainment pathway of the circadian clock has been subject to mutation at multiple levels, extending from opsin photoreceptors to nuclear effectors.},
  author       = {Ceinos, Rosa Maria and Frigato, Elena and Pagano, Cristina and Frohlich, Nadine and Negrini, Pietro and Cavallari, Nicola and Vallone, Daniela and Fuselli, Silvia and Bertolucci, Cristiano and Foulkes, Nicholas S},
  journal      = {Scientific Reports},
  number       = {1},
  publisher    = {Nature Publishing Group},
  title        = {{Mutations in blind cavefish target the light regulated circadian clock gene period 2}},
  doi          = {10.1038/s41598-018-27080-2},
  volume       = {8},
  year         = {2018},
}

@article{284,
  abstract     = {Borel probability measures living on metric spaces are fundamental
mathematical objects. There are several meaningful distance functions that make the collection of the probability measures living on a certain space a metric space. We are interested in the description of the structure of the isometries of such metric spaces. We overview some of the recent results of the topic and we also provide some new ones concerning the Wasserstein distance. More specifically, we consider the space of all Borel probability measures on the unit sphere of a Euclidean space endowed with the Wasserstein metric W_p for arbitrary p &gt;= 1, and we show that the action of a Wasserstein isometry on the set of Dirac measures is induced by an isometry of the underlying unit sphere.},
  author       = {Virosztek, Daniel},
  issn         = {2064-8316},
  journal      = {Acta Scientiarum Mathematicarum},
  number       = {1-2},
  pages        = {65 -- 80},
  publisher    = {Springer Nature},
  title        = {{Maps on probability measures preserving certain distances - a survey and some new results}},
  doi          = {10.14232/actasm-018-753-y},
  volume       = {84},
  year         = {2018},
}

@inproceedings{285,
  abstract     = {In graph theory, as well as in 3-manifold topology, there exist several width-type parameters to describe how &quot;simple&quot; or &quot;thin&quot; a given graph or 3-manifold is. These parameters, such as pathwidth or treewidth for graphs, or the concept of thin position for 3-manifolds, play an important role when studying algorithmic problems; in particular, there is a variety of problems in computational 3-manifold topology - some of them known to be computationally hard in general - that become solvable in polynomial time as soon as the dual graph of the input triangulation has bounded treewidth. In view of these algorithmic results, it is natural to ask whether every 3-manifold admits a triangulation of bounded treewidth. We show that this is not the case, i.e., that there exists an infinite family of closed 3-manifolds not admitting triangulations of bounded pathwidth or treewidth (the latter implies the former, but we present two separate proofs). We derive these results from work of Agol and of Scharlemann and Thompson, by exhibiting explicit connections between the topology of a 3-manifold M on the one hand and width-type parameters of the dual graphs of triangulations of M on the other hand, answering a question that had been raised repeatedly by researchers in computational 3-manifold topology. In particular, we show that if a closed, orientable, irreducible, non-Haken 3-manifold M has a triangulation of treewidth (resp. pathwidth) k then the Heegaard genus of M is at most 48(k+1) (resp. 4(3k+1)).},
  author       = {Huszár, Kristóf and Spreer, Jonathan and Wagner, Uli},
  issn         = {18688969},
  location     = {Budapest, Hungary},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{On the treewidth of triangulated 3-manifolds}},
  doi          = {10.4230/LIPIcs.SoCG.2018.46},
  volume       = {99},
  year         = {2018},
}

@article{286,
  abstract     = {Pedigree and sibship reconstruction are important methods in quantifying relationships and fitness of individuals in natural populations. Current methods employ a Markov chain-based algorithm to explore plausible possible pedigrees iteratively. This provides accurate results, but is time-consuming. Here, we develop a method to infer sibship and paternity relationships from half-sibling arrays of known maternity using hierarchical clustering. Given 50 or more unlinked SNP markers and empirically derived error rates, the method performs as well as the widely used package Colony, but is faster by two orders of magnitude. Using simulations, we show that the method performs well across contrasting mating scenarios, even when samples are large. We then apply the method to open-pollinated arrays of the snapdragon Antirrhinum majus and find evidence for a high degree of multiple mating. Although we focus on diploid SNP data, the method does not depend on marker type and as such has broad applications in nonmodel systems. },
  author       = {Ellis, Thomas and Field, David and Barton, Nicholas H},
  journal      = {Molecular Ecology Resources},
  number       = {5},
  pages        = {988 -- 999},
  publisher    = {Wiley},
  title        = {{Efficient inference of paternity and sibship inference given known maternity via hierarchical clustering}},
  doi          = {10.1111/1755-0998.12782},
  volume       = {18},
  year         = {2018},
}

@article{287,
  abstract     = {In this paper, we discuss biological effects of electromagnetic (EM) fields in the context of cancer biology. In particular, we review the nanomechanical properties of microtubules (MTs), the latter being one of the most successful targets for cancer therapy. We propose an investigation on the coupling of electromagnetic radiation to mechanical vibrations of MTs as an important basis for biological and medical applications. In our opinion, optomechanical methods can accurately monitor and control the mechanical properties of isolated MTs in a liquid environment. Consequently, studying nanomechanical properties of MTs may give useful information for future applications to diagnostic and therapeutic technologies involving non-invasive externally applied physical fields. For example, electromagnetic fields or high intensity ultrasound can be used therapeutically avoiding harmful side effects of chemotherapeutic agents or classical radiation therapy.},
  author       = {Salari, Vahid and Barzanjeh, Shabir and Cifra, Michal and Simon, Christoph and Scholkmann, Felix and Alirezaei, Zahra and Tuszynski, Jack},
  journal      = {Frontiers in Bioscience - Landmark},
  number       = {8},
  pages        = {1391 -- 1406},
  publisher    = {Frontiers in Bioscience},
  title        = {{Electromagnetic fields and optomechanics In cancer diagnostics and treatment}},
  doi          = {10.2741/4651},
  volume       = {23},
  year         = {2018},
}

@article{288,
  abstract     = {Recent lineage tracing studies have revealed that mammary gland homeostasis relies on unipotent stem cells. However, whether and when lineage restriction occurs during embryonic mammary development, and which signals orchestrate cell fate specification, remain unknown. Using a combination of in vivo clonal analysis with whole mount immunofluorescence and mathematical modelling of clonal dynamics, we found that embryonic multipotent mammary cells become lineage-restricted surprisingly early in development, with evidence for unipotency as early as E12.5 and no statistically discernable bipotency after E15.5. To gain insights into the mechanisms governing the switch from multipotency to unipotency, we used gain-of-function Notch1 mice and demonstrated that Notch activation cell autonomously dictates luminal cell fate specification to both embryonic and basally committed mammary cells. These functional studies have important implications for understanding the signals underlying cell plasticity and serve to clarify how reactivation of embryonic programs in adult cells can lead to cancer.},
  author       = {Lilja, Anna and Rodilla, Veronica and Huyghe, Mathilde and Hannezo, Edouard B and Landragin, Camille and Renaud, Olivier and Leroy, Olivier and Rulands, Steffen and Simons, Benjamin and Fré, Silvia},
  journal      = {Nature Cell Biology},
  number       = {6},
  pages        = {677 -- 687},
  publisher    = {Nature Publishing Group},
  title        = {{Clonal analysis of Notch1-expressing cells reveals the existence of unipotent stem cells that retain long-term plasticity in the embryonic mammary gland}},
  doi          = {10.1038/s41556-018-0108-1},
  volume       = {20},
  year         = {2018},
}

@article{289,
  abstract     = {We report on quantum capacitance measurements of high quality, graphite- and hexagonal boron nitride encapsulated Bernal stacked trilayer graphene devices. At zero applied magnetic field, we observe a number of electron density- and electrical displacement-tuned features in the electronic compressibility associated with changes in Fermi surface topology. At high displacement field and low density, strong trigonal warping gives rise to emergent Dirac gullies centered near the corners of the hexagonal Brillouin and related by three fold rotation symmetry. At low magnetic fields of B=1.25~T, the gullies manifest as a change in the degeneracy of the Landau levels from two to three. Weak incompressible states are also observed at integer filling within these triplets Landau levels, which a Hartree-Fock analysis indicates are associated with Coulomb-driven nematic phases that spontaneously break rotation symmetry.},
  author       = {Zibrov, Alexander and Peng, Rao and Kometter, Carlos and Li, Jia and Dean, Cory and Taniguchi, Takashi and Watanabe, Kenji and Serbyn, Maksym and Young, Andrea},
  journal      = {Physical Review Letters},
  number       = {16},
  publisher    = {American Physical Society},
  title        = {{Emergent dirac gullies and gully-symmetry-breaking quantum hall states in ABA trilayer graphene}},
  doi          = {10.1103/PhysRevLett.121.167601},
  volume       = {121},
  year         = {2018},
}

@article{29,
  abstract     = {Social insects have evolved enormous capacities to collectively build nests and defend their colonies against both predators and pathogens. The latter is achieved by a combination of individual immune responses and sophisticated collective behavioral and organizational disease defenses, that is, social immunity. We investigated how the presence or absence of these social defense lines affects individual-level immunity in ant queens after bacterial infection. To this end, we injected queens of the ant Linepithema humile with a mix of gram+ and gram− bacteria or a control solution, reared them either with workers or alone and analyzed their gene expression patterns at 2, 4, 8, and 12 hr post-injection, using RNA-seq. This allowed us to test for the effect of bacterial infection, social context, as well as the interaction between the two over the course of infection and raising of an immune response. We found that social isolation per se affected queen gene expression for metabolism genes, but not for immune genes. When infected, queens reared with and without workers up-regulated similar numbers of innate immune genes revealing activation of Toll and Imd signaling pathways and melanization. Interestingly, however, they mostly regulated different genes along the pathways and showed a different pattern of overall gene up-regulation or down-regulation. Hence, we can conclude that the absence of workers does not compromise the onset of an individual immune response by the queens, but that the social environment impacts the route of the individual innate immune responses.},
  author       = {Viljakainen, Lumi and Jurvansuu, Jaana and Holmberg, Ida and Pamminger, Tobias and Erler, Silvio and Cremer, Sylvia},
  issn         = {20457758},
  journal      = {Ecology and Evolution},
  number       = {22},
  pages        = {11031--11070},
  publisher    = {Wiley},
  title        = {{Social environment affects the transcriptomic response to bacteria in ant queens}},
  doi          = {10.1002/ece3.4573},
  volume       = {8},
  year         = {2018},
}

@article{291,
  abstract     = {Over the past decade, the edge of chaos has proven to be a fruitful starting point for investigations of shear flows when the laminar base flow is linearly stable. Numerous computational studies of shear flows demonstrated the existence of states that separate laminar and turbulent regions of the state space. In addition, some studies determined invariant solutions that reside on this edge. In this paper, we study the unstable manifold of one such solution with the aid of continuous symmetry reduction, which we formulate here for the simultaneous quotiening of axial and azimuthal symmetries. Upon our investigation of the unstable manifold, we discover a previously unknown traveling-wave solution on the laminar-turbulent boundary with a relatively complex structure. By means of low-dimensional projections, we visualize different dynamical paths that connect these solutions to the turbulence. Our numerical experiments demonstrate that the laminar-turbulent boundary exhibits qualitatively different regions whose properties are influenced by the nearby invariant solutions.},
  author       = {Budanur, Nazmi B and Hof, Björn},
  journal      = {Physical Review Fluids},
  number       = {5},
  publisher    = {American Physical Society},
  title        = {{Complexity of the laminar-turbulent boundary in pipe flow}},
  doi          = {10.1103/PhysRevFluids.3.054401},
  volume       = {3},
  year         = {2018},
}

@article{292,
  abstract     = {Retina is a paradigmatic system for studying sensory encoding: the transformation of light into spiking activity of ganglion cells. The inverse problem, where stimulus is reconstructed from spikes, has received less attention, especially for complex stimuli that should be reconstructed “pixel-by-pixel”. We recorded around a hundred neurons from a dense patch in a rat retina and decoded movies of multiple small randomly-moving discs. We constructed nonlinear (kernelized and neural network) decoders that improved significantly over linear results. An important contribution to this was the ability of nonlinear decoders to reliably separate between neural responses driven by locally fluctuating light signals, and responses at locally constant light driven by spontaneous-like activity. This improvement crucially depended on the precise, non-Poisson temporal structure of individual spike trains, which originated in the spike-history dependence of neural responses. We propose a general principle by which downstream circuitry could discriminate between spontaneous and stimulus-driven activity based solely on higher-order statistical structure in the incoming spike trains.},
  author       = {Botella Soler, Vicent and Deny, Stephane and Martius, Georg S and Marre, Olivier and Tkacik, Gasper},
  journal      = {PLoS Computational Biology},
  number       = {5},
  publisher    = {Public Library of Science},
  title        = {{Nonlinear decoding of a complex movie from the mammalian retina}},
  doi          = {10.1371/journal.pcbi.1006057},
  volume       = {14},
  year         = {2018},
}

@article{293,
  abstract     = {People sometimes make their admirable deeds and accomplishments hard to spot, such as by giving anonymously or avoiding bragging. Such ‘buried’ signals are hard to reconcile with standard models of signalling or indirect reciprocity, which motivate costly pro-social behaviour by reputational gains. To explain these phenomena, we design a simple game theory model, which we call the signal-burying game. This game has the feature that senders can bury their signal by deliberately reducing the probability of the signal being observed. If the signal is observed, however, it is identified as having been buried. We show under which conditions buried signals can be maintained, using static equilibrium concepts and calculations of the evolutionary dynamics. We apply our analysis to shed light on a number of otherwise puzzling social phenomena, including modesty, anonymous donations, subtlety in art and fashion, and overeagerness.},
  author       = {Hoffman, Moshe and Hilbe, Christian and Nowak, Martin},
  journal      = {Nature Human Behaviour},
  pages        = {397 -- 404},
  publisher    = {Nature Publishing Group},
  title        = {{The signal-burying game can explain why we obscure positive traits and good deeds}},
  doi          = {10.1038/s41562-018-0354-z},
  volume       = {2},
  year         = {2018},
}

@article{294,
  abstract     = {We developed a method to calculate two-photon processes in quantum mechanics that replaces the infinite summation over the intermediate states by a perturbation expansion. This latter consists of a series of commutators that involve position, momentum, and Hamiltonian quantum operators. We analyzed several single- and many-particle cases for which a closed-form solution to the perturbation expansion exists, as well as more complicated cases for which a solution is found by convergence. Throughout the article, Rayleigh and Raman scattering are taken as examples of two-photon processes. The present method provides a clear distinction between the Thomson scattering, regarded as classical scattering, and quantum contributions. Such a distinction lets us derive general results concerning light scattering. Finally, possible extensions to the developed formalism are discussed.},
  author       = {Fratini, Filippo and Safari, Laleh and Amaro, Pedro and Santos, José},
  journal      = {Physical Review A - Atomic, Molecular, and Optical Physics},
  number       = {4},
  publisher    = {American Physical Society},
  title        = {{Two-photon processes based on quantum commutators}},
  doi          = {10.1103/PhysRevA.97.043842},
  volume       = {97},
  year         = {2018},
}

@article{295,
  abstract     = {We prove upper and lower bounds on the ground-state energy of the ideal two-dimensional anyon gas. Our bounds are extensive in the particle number, as for fermions, and linear in the statistics parameter (Formula presented.). The lower bounds extend to Lieb–Thirring inequalities for all anyons except bosons.},
  author       = {Lundholm, Douglas and Seiringer, Robert},
  journal      = {Letters in Mathematical Physics},
  number       = {11},
  pages        = {2523--2541},
  publisher    = {Springer},
  title        = {{Fermionic behavior of ideal anyons}},
  doi          = {10.1007/s11005-018-1091-y},
  volume       = {108},
  year         = {2018},
}

@article{296,
  abstract     = {The thermodynamic description of many-particle systems rests on the assumption of ergodicity, the ability of a system to explore all allowed configurations in the phase space. Recent studies on many-body localization have revealed the existence of systems that strongly violate ergodicity in the presence of quenched disorder. Here, we demonstrate that ergodicity can be weakly broken by a different mechanism, arising from the presence of special eigenstates in the many-body spectrum that are reminiscent of quantum scars in chaotic non-interacting systems. In the single-particle case, quantum scars correspond to wavefunctions that concentrate in the vicinity of unstable periodic classical trajectories. We show that many-body scars appear in the Fibonacci chain, a model with a constrained local Hilbert space that has recently been experimentally realized in a Rydberg-atom quantum simulator. The quantum scarred eigenstates are embedded throughout the otherwise thermalizing many-body spectrum but lead to direct experimental signatures, as we show for periodic recurrences that reproduce those observed in the experiment. Our results suggest that scarred many-body bands give rise to a new universality class of quantum dynamics, opening up opportunities for the creation of novel states with long-lived coherence in systems that are now experimentally realizable.},
  author       = {Turner, Christopher and Michailidis, Alexios and Abanin, Dmitry and Serbyn, Maksym and Papić, Zlatko},
  journal      = {Nature Physics},
  pages        = {745 -- 749},
  publisher    = {Nature Publishing Group},
  title        = {{Weak ergodicity breaking from quantum many-body scars}},
  doi          = {10.1038/s41567-018-0137-5},
  volume       = {14},
  year         = {2018},
}

@inproceedings{297,
  abstract     = {Graph games played by two players over finite-state graphs are central in many problems in computer science. In particular, graph games with ω -regular winning conditions, specified as parity objectives, which can express properties such as safety, liveness, fairness, are the basic framework for verification and synthesis of reactive systems. The decisions for a player at various states of the graph game are represented as strategies. While the algorithmic problem for solving graph games with parity objectives has been widely studied, the most prominent data-structure for strategy representation in graph games has been binary decision diagrams (BDDs). However, due to the bit-level representation, BDDs do not retain the inherent flavor of the decisions of strategies, and are notoriously hard to minimize to obtain succinct representation. In this work we propose decision trees for strategy representation in graph games. Decision trees retain the flavor of decisions of strategies and allow entropy-based minimization to obtain succinct trees. However, decision trees work in settings (e.g., probabilistic models) where errors are allowed, and overfitting of data is typically avoided. In contrast, for strategies in graph games no error is allowed, and the decision tree must represent the entire strategy. We develop new techniques to extend decision trees to overcome the above obstacles, while retaining the entropy-based techniques to obtain succinct trees. We have implemented our techniques to extend the existing decision tree solvers. We present experimental results for problems in reactive synthesis to show that decision trees provide a much more efficient data-structure for strategy representation as compared to BDDs.},
  author       = {Brázdil, Tomáš and Chatterjee, Krishnendu and Kretinsky, Jan and Toman, Viktor},
  location     = {Thessaloniki, Greece},
  pages        = {385 -- 407},
  publisher    = {Springer},
  title        = {{Strategy representation by decision trees in reactive synthesis}},
  doi          = {10.1007/978-3-319-89960-2_21},
  volume       = {10805},
  year         = {2018},
}

