×

Found 2 Documents (Results 1–2)

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
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

Year of Publication

Main Field

Software