@article(ALUR1994183,
 author       = {R. Alur and D. L. Dill},
 year         = {1994},
 title        = {A theory of timed automata},
 journal      = {Theoretical Computer Science},
 volume       = {126},
 number       = {2},
 pages        = {183--235},
 doi          = {10.1016/0304-3975(94)90010-8},
)
@article(Alur:1996,
 author       = {R. Alur and T. Feder and T. A. Henzinger},
 year         = {1996},
 title        = {The Benefits of Relaxing Punctuality},
 journal      = {Journal of the ACM},
 volume       = {43(1)},
 pages        = {116--146},
 doi          = {10.1145/227595.227602},
)
@article(AlurH93,
 author       = {R. Alur and T. A. Henzinger},
 year         = {1993},
 title        = {{Real-Time Logics: Complexity and Expressiveness}},
 journal      = {Information and Computation},
 volume       = {104},
 number       = {1},
 pages        = {35--77},
 doi          = {10.1006/inco.1993.1025},
)
@article(AlurH94,
 author       = {R. Alur and T. A. Henzinger},
 year         = {1994},
 title        = {{A Really Temporal Logic}},
 journal      = {Journal of the {ACM}},
 volume       = {41},
 number       = {1},
 pages        = {181--204},
 doi          = {10.1145/174644.174651},
)
@inproceedings(barreiro2012europa,
 author       = {J. Barreiro and M. Boyce and M. Do and J. Frank and M. Iatauro and T. Kichkaylo and P. Morris and J. Ong and E. Remolina and T. Smith and D. Smith},
 year         = {2012},
 title        = {{EUROPA: A Platform for AI Planning, Scheduling, Constraint Programming, and Optimization}},
 booktitle    = {Proceedings of ICKEPS},
)
@techreport(techrepGand,
 author       = {L. Bozzelli and A. Molinari and A. Montanari and A. Peron},
 year         = {2018},
 title        = {{Complexity of timeline-based planning over dense temporal domains: exploring the middle ground}},
 type         = {Technical Report},
 number       = {2/2018},
 institution  = {University of Udine},
 address      = {Italy},
 url          = {https://www.dimi.uniud.it/assets/preprints/2-2018-molinari.pdf},
)
@inproceedings(kr18,
 author       = {L. Bozzelli and A. Molinari and A. Montanari and A. Peron},
 year         = {2018},
 title        = {{Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains}},
 booktitle    = {Proceedings of KR},
 url          = {https://www.uniud.it/it/ateneo-uniud/ateneo-uniud-organizzazione/dipartimenti/dmif/assets/preprints/1-2018-molinari},
)
@inproceedings(ictcs18,
 author       = {L. Bozzelli and A. Molinari and A. Montanari and A. Peron and G. Woeginger},
 year         = {2018},
 title        = {Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is {NP}-Complete},
 booktitle    = {Proceedings of ICTCS},
)
@inproceedings(CestaCFOP07,
 author       = {A. Cesta and G. Cortellessa and S. Fratini and A. Oddi and N. Policella},
 year         = {2007},
 title        = {{A}n {I}nnovative {P}roduct for {S}pace {M}ission {P}lanning: {A}n {A} {P}osteriori {E}valuation},
 booktitle    = {Proceedings of ICAPS},
 pages        = {57--64},
)
@inproceedings(aspen2010,
 author       = {S. Chien and D. Tran and G. Rabideau and S.R. Schaffer and D. Mandl and S. Frye},
 year         = {2010},
 title        = {Timeline-Based Space Operations Scheduling with External Constraints},
 booktitle    = {Proceedings of ICAPS},
 pages        = {34--41},
)
@article(MayerOU16,
 author       = {{Cialdea Mayer}, M. and A. Orlandini and A. Umbrico},
 year         = {2016},
 title        = {{P}lanning and {E}xecution with {F}lexible {T}imelines: a {F}ormal {A}ccount},
 journal      = {Acta Informatica},
 volume       = {53},
 number       = {6--8},
 pages        = {649--680},
 doi          = {10.1007/s00236-015-0252-z},
)
@article(DemriL09,
 author       = {S. Demri and R. Lazic},
 year         = {2009},
 title        = {{LTL} with the freeze quantifier and register automata},
 journal      = {{ACM Transactions on Computational Logic}},
 volume       = {10},
 number       = {3},
 pages        = {16:1--16:30},
 doi          = {10.1145/1507244.1507246},
)
@article(FrankJ03,
 author       = {J. Frank and A. J{\'o}nsson},
 year         = {2003},
 title        = {Constraint-based {A}ttribute and {I}nterval {P}lanning},
 journal      = {Constraints},
 volume       = {8},
 number       = {4},
 pages        = {339--364},
 doi          = {10.1023/A:1025842019552},
)
@inproceedings(GiganteMCO16,
 author       = {N. Gigante and A. Montanari and {Cialdea Mayer}, M. and A. Orlandini},
 year         = {2016},
 title        = {{T}imelines are {E}xpressive {E}nough to {C}apture {A}ction-Based {T}emporal {P}lanning},
 booktitle    = {Proceedings of TIME},
 pages        = {100--109},
 doi          = {10.1109/TIME.2016.18},
)
@inproceedings(GiganteMCO17,
 author       = {N. Gigante and A. Montanari and {Cialdea Mayer}, M. and A. Orlandini},
 year         = {2017},
 title        = {Complexity of Timeline-Based Planning},
 booktitle    = {Proceedings of ICAPS},
 pages        = {116--124},
)
@book(harel92,
 author       = {D. Harel},
 year         = {1992},
 title        = {Algorithmics: The spirit of computing},
 edition      = {2nd},
 publisher    = {Wesley},
)
@inproceedings(JonssonMMRS00,
 author       = {A. K. J{\'{o}}nsson and P. H. Morris and N. Muscettola and K. Rajan and B. D. Smith},
 year         = {2000},
 title        = {{P}lanning in {I}nterplanetary {S}pace: {T}heory and {P}ractice},
 booktitle    = {Proceedings of ICAPS},
 pages        = {177--186},
)
@article(Koymans90,
 author       = {R. Koymans},
 year         = {1990},
 title        = {Specifying Real-Time Properties with Metric Temporal Logic},
 journal      = {Real-Time Systems},
 volume       = {2},
 number       = {4},
 pages        = {255--299},
 doi          = {10.1007/BF01995674},
)
@incollection(Muscettola94,
 author       = {N. Muscettola},
 year         = {1994},
 title        = {{{HSTS}}: {I}ntegrating {P}lanning and {S}cheduling},
 booktitle    = {Intelligent Scheduling},
 publisher    = {Morgan Kaufmann},
 pages        = {169--212},
)
@article(OuaknineW07,
 author       = {J. Ouaknine and J. Worrell},
 year         = {2007},
 title        = {On the decidability and complexity of Metric Temporal Logic over finite words},
 journal      = {Logical Methods in Computer Science},
 volume       = {3},
 number       = {1},
 doi          = {10.2168/LMCS-3(1:8)2007},
)
@book(1994-papadimitriou,
 author       = {C. M. Papadimitriou},
 year         = {1994},
 title        = {{Computational complexity}},
 publisher    = {Addison-Wesley},
 address      = {Reading, Massachusetts},
)