@Inproceedings{EPTCS371.11,
  author    = {V\'azquez, Gricel and Calinescu, Radu and C\'amara, Javier},
  year      = {2022},
  title     = {Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems},
  editor    = {Luckcuck, Matt and Farrell, Marie},
  booktitle = {{\rm Proceedings Fourth International Workshop on}
               Formal Methods for Autonomous Systems (FMAS) {\rm and Fourth International Workshop on} Automated and verifiable Software sYstem DEvelopment (ASYDE),
               {\rm Berlin, Germany, 26th and 27th of September 2022}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {371},
  publisher = {Open Publishing Association},
  pages     = {156-174},
  doi       = {10.4204/EPTCS.371.11},
}