Reactive Synthesis: Towards Output-Sensitive Algorithms

Summary

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: Bernd Finkbeiner, Felix Klein

Journal title: NATO Science for Peace and Security Series - D: Information and Communication Security 

Journal number: Volume 50

Journal publisher: IOS Press

Published year: 2017

Published pages: 25-43

DOI identifier: 10.3233/978-1-61499-810-5-25