Environmentally-Friendly GR(1) Synthesis

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck

Journal title: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Journal number: 11428

Journal publisher: Springer International Publishing

Published year: 2019

Published pages: 229-246

DOI identifier: 10.1007/978-3-030-17465-1_13

ISBN: 978-3-030-17464-4