×

Found 2 Documents (Results 1–2)

Universal safety for timed Petri nets is PSPACE-complete. (English) Zbl 1520.68085

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 6, 15 p. (2018).
MSC:  68Q85 68Q17
PDFBibTeX XMLCite
Full Text: DOI arXiv

Infinite-state energy games. (English) Zbl 1401.68139

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 7, 10 p. (2014).
MSC:  68Q45 91A05 91A43
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Year of Publication

Main Field