×

Found 16 Documents (Results 1–16)

High-level representation of benchmark families for Petri games. (English) Zbl 1522.68364

Olderog, Ernst-Rüdiger (ed.) et al., Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13030, 115-137 (2022).
MSC:  68Q85 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

The synthesis problem for repeatedly communicating Petri games. (English) Zbl 1499.68225

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 236-257 (2022).
MSC:  68Q85 68Q25 91A80
PDFBibTeX XMLCite
Full Text: DOI

Model checking data flows in concurrent network updates. (English) Zbl 1437.68115

Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 515-533 (2019).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software