Generalization of Temporal Logic Tasks via Future Dependent Options

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@booklet{EasyChair:12510,
  author    = {Duo Xu and Faramarz Fekri},
  title     = {Generalization of Temporal Logic Tasks via Future Dependent Options},
  howpublished = {EasyChair Preprint 12510},
  year      = {EasyChair, 2024}}