_id,title
1670,PDDL+ planning with hybrid automata: Foundations of translating must behavior
1671,The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC
1672,Incoercible multi-party computation and universally composable receipt-free voting
1673,Amplifiers of selection
1674,Edge universality for deformed Wigner matrices
1675,Proofs of space
1676,Editorial overview: Cell adhesion and migration
1677,The local semicircle law for random matrices with a fourfold symmetry
1678,Light-assisted small-molecule screening against protein kinases
1679,Taylor's Forest
1680,On the decidability of elementary modal logics
1681,Evolution of decisions in population games with sequentially searching individuals
1682,Robust satisfiability of systems of equations
1683,Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions
1685,A fixed parameter tractable approximation scheme for the optimal cut graph of a surface
1686,Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection
1687,Navigating in tissue mazes: Chemoattractant interpretation in complex environments
1688,Bounds for Pach's selection theorem and for the minimum solid angle in a simplex
1689,Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
1690,HYST: A source transformation and translation tool for hybrid automaton models