×

Found 6 Documents (Results 1–6)

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).
PDFBibTeX XMLCite
Full Text: arXiv Link

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

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

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

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Year of Publication

Main Field