@inproceedings{gandalf24,
  author    = {Renato Acampora and Della Monica, Dario
               and Luca Geatti and Nicola Gigante
	       and Angelo Montanari and Pietro Sala},
  title     = {Synthesis of Timeline-Based Planning Strategies
               Avoiding Determinization},
  booktitle = {Proc. of the 15th International Symposium on Games,
               Automata, Logics and Formal Verification (GandALF)},
  editor    = {Achilleos, Antonis and Francalanza, Adrian},
  series    = {Electronic Proceedings in Theoretical
               Computer Science (EPTCS)},
  volume    = {409},
  publisher = {Open Publishing Association},
  pages     = {5-18},
  doi       = {10.4204/EPTCS.409.5},
  year      = {2024}
}