Karra, Shyam Lal; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří On-the-fly synthesis for strictly alternating games. (English) Zbl 07580929 Janicki, Ryszard (ed.) et al., Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12152, 109-128 (2020). MSC: 68Q85 91A80 PDF BibTeX XML Cite \textit{S. L. Karra} et al., Lect. Notes Comput. Sci. 12152, 109--128 (2020; Zbl 07580929) Full Text: DOI OpenURL
Jensen, L. S.; Kaufmann, I.; Larsen, K. G.; Nielsen, S. M.; Srba, J. Model checking and synthesis for branching multi-weighted logics. (English) Zbl 1423.68284 J. Log. Algebr. Methods Program. 105, 28-46 (2019). MSC: 68Q60 03B44 68Q17 PDF BibTeX XML Cite \textit{L. S. Jensen} et al., J. Log. Algebr. Methods Program. 105, 28--46 (2019; Zbl 1423.68284) Full Text: DOI OpenURL