The (1+1)-EA in Dynamic Environments: Extended Version

Zenodo (CERN European Organization for Nuclear Research) 2026 Preprint Open access

Read full text
Authors: Georg Hasebe, Johannes Lengler, Raghu Raman Ravi
DOI: 10.5281/zenodo.19233285
Cited by: 1

Abstract

Extended version of “The (1+1) EA in Dynamic Environments”, containing full proofs and additional results omitted from the PPSN conference version due to space constraints.

Fields of Study & Subjects

Computability Logic AI Algorithms Formal Methods in Verification programming and type systems

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
26 March 2026
Language
EN
Document type
Preprint