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