@manual(standard1996ebnf,
 author       = {EBNF: ISO/IEC 14977},
 year         = {1996},
 title        = {Standard EBNF Syntaxt Specification},
 url          = {http://www.cl.cam.ac.uk/mgk25/iso-14977.pdf},
)
@article(khamis2015multi,
 author       = {Khamis Alaa and Hussein Ahmed and Elmogy Ahmed},
 year         = {2015},
 title        = {Multi-robot task allocation: A review of the state-of-the-art},
 journal      = {Cooperative robots and sensor networks},
 pages        = {31--51},
 doi          = {10.1007/978-3-319-18299-5_2},
)
@inproceedings(ulusoy2011optimal,
 author       = {Ulusoy Alphan and Smith Stephen L and Ding Xu Chu and Belta Calin and Rus Daniela},
 year         = {2011},
 title        = {Optimal multi-robot path planning with temporal logic constraints},
 booktitle    = {IEEE/RSJ IROS},
 organization = {IEEE},
 pages        = {3087–3092},
 doi          = {10.48550/arXiv.1107.0062},
)
@inproceedings(bianco1995model,
 author       = {Andrea Bianco and Luca de Alfaro},
 year         = {1995},
 title        = {Model checking of probabilistic and nondeterministic systems},
 booktitle    = {International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS},
 organization = {Springer},
 pages        = {499--513},
 doi          = {10.1007/3-540-60692-0_70},
)
@article(lacerda2019probabilistic,
 author       = {Lacerda Bruno and Faruq Fatma and Parker David and Hawes Nick},
 year         = {2019},
 title        = {Probabilistic planning with formal performance guarantees for mobile service robots},
 journal      = {The International JOURNAL of Robotics Research},
 volume       = {38},
 number       = {9},
 doi          = {10.1177/0278364919856695},
)
@inproceedings(calinescu2013emerging,
 author       = {Radu Calinescu},
 year         = {2013},
 title        = {Emerging techniques for the engineering of self-adaptive high-integrity software},
 booktitle    = {Assurances for Self-Adaptive Systems},
 publisher    = {Springer},
 pages        = {297--310},
 doi          = {10.1007/978-3-642-36249-1_11},
)
@article(chen2009project,
 author       = {Jiaqiong Chen and Ronald G Askin},
 year         = {2009},
 title        = {Project selection, scheduling and resource allocation with time dependent returns},
 journal      = {European JOURNAL of Operational Research},
 volume       = {193},
 number       = {1},
 pages        = {23--34},
 doi          = {10.1016/j.ejor.2007.10.040},
)
@inproceedings(menghi2018multi,
 author       = {Menghi Claudio and Garcia Sergio and Pelliccione Patrizio and Tumova Jana},
 year         = {2018},
 title        = {Multi-robot {LTL} planning under uncertainty},
 booktitle    = {International Symposium on Formal Methods},
 organization = {Springer},
 pages        = {399–417},
 doi          = {10.1007/978-3-319-95582-7_24},
)
@article(fraser2020collaborative,
 author       = {Fraser Douglas and Giaquinta Ruben and Hoffmann Ruth and Ireland Murray and Miller Alice and Norman Gethin},
 year         = {2020},
 title        = {Collaborative models for autonomous systems controller synthesis},
 journal      = {Formal Aspects of Computing},
 volume       = {32},
 number       = {2},
 doi          = {10.1007/s00165-020-00508-1},
)
@article(durillo2011jmetal,
 author       = {Juan J Durillo and Antonio J Nebro},
 year         = {2011},
 title        = {{jMetal: A} Java framework for multi-objective optimization},
 journal      = {Advances in Engineering Software},
 volume       = {42},
 number       = {10},
 pages        = {760--771},
 doi          = {10.1016/j.advengsoft.2011.05.014},
)
@article(kavraki1996probabilistic,
 author       = {Kavraki Lydia E and Svestka Petr and J-C, Latombe and Overmars Mark H},
 year         = {1996},
 title        = {Probabilistic roadmaps for path planning in high-dimensional configuration spaces},
 journal      = {IEEE transactions on Robotics and Automation},
 volume       = {12},
 number       = {4},
 doi          = {10.1109/ROBOT.1996.509171},
)
@inproceedings(sukkar2019multi,
 author       = {Sukkar Fouad and Best Graeme and Yoo Chanyeol and Fitch Robert},
 year         = {2019},
 title        = {Multi-robot region-of-interest reconstruction with {Dec-MCTS}},
 booktitle    = {ICRA},
 pages        = {9101–9107},
 doi          = {10.1109/ICRA.2019.8793560},
)
@inproceedings(garcia2020promise,
 author       = {Sergio Garcia and Patrizio Pelliccione and Claudio Menghi and Thorsten Berger and Tomas Bures},
 year         = {2020},
 title        = {Promise: high-level mission specification for multiple robots},
 booktitle    = {Proceedings of the ACM/IEEE 42nd ICSE: Companion Proceedings},
 pages        = {5–8},
 doi          = {10.1145/3377812.3382143},
)
@article(gavran2017antlab,
 author       = {Ivan Gavran and Rupak Majumdar and Indranil Saha},
 year         = {2017},
 title        = {Antlab: A multi-robot task server},
 journal      = {ACM Transactions on Embedded Computing Systems (TECS)},
 volume       = {16},
 number       = {5s},
 pages        = {1--19},
 doi          = {10.1145/3126513},
)
@article(DBLP:journals/ase/GerasimouCT18,
 author       = {Simos Gerasimou and Radu Calinescu and Giordano Tamburrelli},
 year         = {2018},
 title        = {Synthesis of probabilistic models for quality-of-service software engineering},
 journal      = {Automated Software Engineering},
 volume       = {25},
 number       = {4},
 pages        = {785--831},
 doi          = {10.1007/s10515-018-0235-8},
)
@inproceedings(gerasimou2021evolutionary,
 author       = {Simos Gerasimou and Javier C{\'a}mara and Radu Calinescu and Naif Alasmari and Faisal Alhwikem and Xinwei Fang},
 year         = {2021},
 title        = {Evolutionary-guided synthesis of verified {P}areto-optimal {MDP} policies},
 booktitle    = {36th IEEE/ACM International Conference on Automated Software Engineering (ASE)},
 organization = {IEEE},
 pages        = {842--853},
 doi          = {10.1109/ASE51524.2021.9678727},
)
@inproceedings(gerasimou2015search,
 author       = {Simos Gerasimou and Giordano Tamburrelli and Radu Calinescu},
 year         = {2015},
 title        = {Search-based synthesis of probabilistic models for quality-of-service software engineering (t)},
 booktitle    = {2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)},
 organization = {IEEE},
 pages        = {319--330},
 doi          = {10.1109/ASE.2015.22},
)
@article(gombolay2013fast,
 author       = {Matthew Gombolay and Ronald Wilcox and Julie Shah},
 year         = {2013},
 title        = {Fast scheduling of multi-robot teams with temporospatial constraints},
 journal      = {Robotics: Science and Systems Foundation},
 doi          = {10.1109/TRO.2018.2795034},
)
@inproceedings(vazquez2021automated,
 author       = {Vazquez Gricel},
 year         = {2021},
 title        = {Automated Scheduling of Multi-Robot System Missions: An Architectural Perspective},
 booktitle    = {ECSA'21 Doctoral Symposium},
 pages        = {1--5},
)
@inproceedings(vazquez2021scheduling,
 author       = {V{\'a}zquez Gricel and Calinescu Radu and C{\'a}mara Javier},
 year         = {2021},
 title        = {Scheduling multi-robot missions with joint tasks and heterogeneous robot teams},
 booktitle    = {TAROS},
 organization = {Springer},
 pages        = {354–359},
 doi          = {10.1007/978-3-030-89177-0_36},
)
@misc(missionplanning,
 author       = {Rong Gu and Eduard Baranov},
 year         = {2021},
 title        = {Mission Planning for Multiple Autonomous Agents under Complex Road Conditions: Model-Checking-Based Synthesis and Verification},
 note         = {{Mälardalen University Technical Report}},
)
@article(hansson1994logic,
 author       = {Hans Hansson and Bengt Jonsson},
 year         = {1994},
 title        = {A logic for reasoning about time and reliability},
 journal      = {Formal aspects of computing},
 volume       = {6},
 number       = {5},
 pages        = {512--535},
 doi          = {10.1007/BF01211866},
)
@article(nebro2015redesigning,
 author       = {Nebro Antonio J and Durillo Juan J and Vergne Matthieu},
 year         = {2015},
 title        = {Redesigning the jMetal multi-objective optimization framework},
 journal      = {Proceedings of the companion publication of the annual conference on genetic and evolutionary computation},
 doi          = {10.1145/2739482.2768462},
)
@article(alloy,
 author       = {Daniel Jackson},
 year         = {2002},
 title        = {Alloy: a lightweight object modelling notation},
 journal      = {ACM Transactions on Software Engineering and Methodology},
 volume       = {11},
 number       = {2},
 pages        = {256--290},
 doi          = {10.1145/505145.505149},
)
@article(koza1994genetic,
 author       = {John R Koza},
 year         = {1994},
 title        = {Genetic programming as a means for programming computers by natural selection},
 journal      = {Statistics and computing},
 volume       = {4},
 number       = {2},
 pages        = {87--112},
 doi          = {10.1007/BF00175355},
)
@inproceedings(kwiatkowska2011prism,
 author       = {Marta Kwiatkowska and Gethin Norman and David Parker},
 year         = {2011},
 title        = {{PRISM 4.0. Verification of probabilistic real-time systems}},
 booktitle    = {International conference on computer aided verification},
 organization = {Springer},
 pages        = {585--591},
 doi          = {10.1007/978-3-642-22110-1_47},
)
@book(bettini2016implementing,
 author       = {Bettini Lorenzo},
 year         = {2016},
 title        = {Implementing domain-specific languages with Xtext and Xtend},
 publisher    = {Packt Publishing Ltd},
)
@article(fox2003pddl2,
 author       = {Fox Maria and Long Derek},
 year         = {2003},
 title        = {{PDDL}2. 1: An extension to {PDDL} for expressing temporal planning domains},
 journal      = {JOURNAL of artificial intelligence research},
 volume       = {20},
 doi          = {10.1613/jair.1129},
)
@inproceedings(askarpour2021robomax,
 author       = {Askarpour Mehrnoosh and Tsigkanos Christos and Menghi Claudio and Calinescu Radu and Pelliccione Patrizio and Garcia Sergio and Caldas Ricardo and von Oertzen Tim J and Wimmer Manuel and Berardinelli Luca},
 year         = {2021},
 title        = {{RoboMAX: R}obotic Mission Adaptation eXemplars},
 booktitle    = {SEAMS},
 organization = {IEEE},
 pages        = {245–251},
 doi          = {10.1109/SEAMS51251.2021.00040},
)
@inproceedings(nollert2008planning,
 author       = {Georg Nollert and Sabine Wich},
 year         = {2008},
 title        = {Planning a Cardiovascular Hybrid Operating Room. the Technical Point of View},
 booktitle    = {The heart surgery forum},
 organization = {HSF},
 pages        = {1033},
 doi          = {10.1532/HSF98.2009103},
)
@article(warren1975modification,
 author       = {Warren Jr Henry S},
 year         = {1975},
 title        = {A modification of {Warshall's} algorithm for the transitive closure of binary relations},
 journal      = {Communications of the ACM},
 volume       = {18},
 number       = {4},
 doi          = {10.1145/360715.360746},
)
@article(tran2017robots,
 author       = {Tran Tony T and Tiago and Goldie Nejat and Beck J Christopher},
 year         = {2017},
 title        = {Robots in retirement homes: Applying off-the-shelf planning and scheduling to a team of assistive robots},
 journal      = {JOURNAL of Artificial Intelligence Research},
 volume       = {58},
 pages        = {,523--590},
 doi          = {10.1613/jair.5306},
)
@misc(githubRepository,
 author       = {Gricel V{\'a}zquez and Radu Calinescu and Javier C{\'a}mara},
 year         = {2022},
 title        = {{KANOA GitHub} repository},
 url          = {https://github.com/Gricel-lee/Kanoa},
)
@inproceedings(forejt2011automated,
 author       = {Vojt{\v{e}}ch, Forejt and Kwiatkowska Marta and Norman Gethin and Parker David},
 year         = {2011},
 title        = {Automated verification techniques for probabilistic systems},
 booktitle    = {International school on formal methods for the design of computer, communication and software systems},
 organization = {Springer},
 pages        = {53–113},
 doi          = {10.1007/978-3-642-21455-4_3},
)
@inproceedings(wolf2008soda,
 author       = {Joel Wolf and Nikhil Bansal and Kirsten Hildrum and Sujay Parekh and Deepak Rajan and Rohit Wagle and Kun-Lung Wu and Lisa Fleischer},
 year         = {2008},
 title        = {SODA: An optimizing scheduler for large-scale stream-based distributed computer systems},
 booktitle    = {ACM/IFIP/USENIX International Conference on Distributed Systems Platforms and Open Distributed Processing},
 organization = {Springer},
 pages        = {306--325},
 doi          = {10.1007/978-3-540-89856-6_16},
)
@article(wong2006dynamic,
 author       = {TN Wong and CW Leung and Kai-Ling Mak and Richard YK Fung},
 year         = {2006},
 title        = {Dynamic shopfloor scheduling in multi-agent manufacturing systems},
 journal      = {Expert Systems with Applications},
 volume       = {31},
 number       = {3},
 pages        = {486--494},
 doi          = {10.1016/j.eswa.2005.09.073},
)
@article(woodcock2009formal,
 author       = {Jim Woodcock and Peter Gorm Larsen and Juan Bicarregui and John Fitzgerald},
 year         = {2009},
 title        = {Formal methods: Practice and experience},
 journal      = {ACM computing surveys (CSUR)},
 volume       = {41},
 number       = {4},
 doi          = {10.1145/1592434.1592436},
)
@inproceedings(carreno2020task,
 author       = {Carreno Yaniel and Pairet Eric and Petillot Yvan and Petrick Ronald PA},
 year         = {2020},
 title        = {Task allocation strategy for heterogeneous robot teams in offshore missions},
 booktitle    = {Proceedings of AAMAS'19},
 pages        = {222--230},
 doi          = {10.5555/3398761.3398792},
)
@article(yu2021distributed,
 author       = {Pian Yu and Dimos V Dimarogonas},
 year         = {2021},
 title        = {Distributed motion coordination for multirobot systems under {LTL} specifications},
 journal      = {IEEE Transactions on Robotics},
 volume       = {38},
 number       = {2},
 pages        = {1047--1062},
 doi          = {10.1109/TRO.2021.3088764},
)
@article(wang2020learning,
 author       = {Wang Zheyuan and Matthew Gombolay},
 year         = {2020},
 title        = {Learning scheduling policies for multi-robot coordination with graph attention networks},
 journal      = {IEEE Robotics and Automation Letters},
 volume       = {5},
 number       = {3},
 pages        = {4509--4516},
 doi          = {10.1109/LRA.2020.3002198},
)