This volume contains the abstracts presented at MoRe 2018, the 1st International Workshop on Multi-objective Reasoning in Verification and Synthesis, held on July 13, 2018 in Oxford.

MoRe aims to be a meeting place for researchers in the area of multi-objective reasoning for verification and synthesis, with topics of interest ranging from novel theoretical models to industrial challenges and practical applications. Typical topics of the workshop include, but are not limited to, formal approaches toward verification and synthesis in the following settings:

• games (and related models) with multiple qualitative and quantitative objectives;
• multi-criteria reasoning in probabilistic models (e.g., percentile queries, quantiles, trade-off between worst-case and average-case performance);
• probabilistic programs;
• extensions of timed automata including probabilistic or weighted aspects;
• stochastic hybrid systems;
• temporal logics enabling quantitative reasoning;
• practical applications involving multi-objective challenges;
• any related attempt to tackle trade-offs between multiple criteria in formal models for verification and synthesis.

As organizers, we would like to thank all authors of submitted contributions, as well as our excellent program committee. The committee decided to accept eight contributions, ranging from theoretical work to practical applications. The authors of seven contributions chose to include their abstracts in the workshop's proceedings. The program also includes two invited talks by Christel Baier (Technische Universität Dresden, Germany) and Benjamin Monmege (Aix-Marseille Université, France). We warmly thank both speakers for their presence at MoRe 2018.

We would like to thank the FLoC organization team and the LICS workshop chair for their support. Finally, we are grateful to Complexys, the UMONS research institute for complex systems, for their financial support.

We hope all MoRe attendees will have a good time in Oxford and will enjoy the program. Thanks a lot for making MoRe a lively and interesting event!