Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach

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: Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani

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: 265-281

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

ISBN: 978-3-030-17464-4