Colcombet, Thomas; Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain Perfect half space games. (English) Zbl 1452.91052 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 45, 11 p. (2017). MSC: 91A43 91A10 91A05 91A68 PDFBibTeX XMLCite \textit{T. Colcombet} et al., in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 45, 11 p. (2017; Zbl 1452.91052) Full Text: arXiv Link
Lazić, Ranko; Schmitz, Sylvain The complexity of coverability in \(\nu\)-Petri nets. (English) Zbl 1392.68306 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 467-476 (2016). MSC: 68Q85 68Q25 68Q60 PDFBibTeX XMLCite \textit{R. Lazić} and \textit{S. Schmitz}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 467--476 (2016; Zbl 1392.68306) Full Text: DOI Link
Hofman, Piotr; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Schmitz, Sylvain; Totzke, Patrick Coverability trees for Petri nets with unordered data. (English) Zbl 1475.68208 Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 445-461 (2016). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Hofman} et al., Lect. Notes Comput. Sci. 9634, 445--461 (2016; Zbl 1475.68208) Full Text: DOI Link
Lazić, Ranko; Schmitz, Sylvain The ideal view on Rackoff’s coverability technique. (English) Zbl 1471.68169 Bojańczyk, Mikołaj (ed.) et al., Reachability problems. 9th international workshop, RP 2015, Warsaw, Poland, September 21–23, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9328, 76-88 (2015). MSC: 68Q85 68R05 68W05 PDFBibTeX XMLCite \textit{R. Lazić} and \textit{S. Schmitz}, Lect. Notes Comput. Sci. 9328, 76--88 (2015; Zbl 1471.68169) Full Text: DOI Link
Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain Fixed-dimensional energy games are in pseudo-polynomial time. (English) Zbl 1440.68122 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 260-272 (2015). MSC: 68Q25 91A80 PDFBibTeX XMLCite \textit{M. Jurdziński} et al., Lect. Notes Comput. Sci. 9135, 260--272 (2015; Zbl 1440.68122) Full Text: DOI arXiv
Lazić, Ranko; Schmitz, Sylvain Non-elementary complexities for branching VASS, MELL, and extensions. (English) Zbl 1394.68189 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. 61, 10 p. (2014). MSC: 68Q25 03F52 68Q17 68Q85 PDFBibTeX XMLCite \textit{R. Lazić} and \textit{S. Schmitz}, 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. 61, 10 p. (2014; Zbl 1394.68189) Full Text: DOI arXiv