Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Ciobanu, Radu; Mayr, Richard; Totzke, Patrick 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 \textit{P. A. Abdulla} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 6, 15 p. (2018; Zbl 1520.68085) Full Text: DOI arXiv
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Hofman, Piotr; Mayr, Richard; Kumar, K. Narayan; Totzke, Patrick 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 \textit{P. A. Abdulla} et al., in: 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. Paper No. 7, 10 p. (2014; Zbl 1401.68139) Full Text: DOI arXiv