If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2023

    Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games

    Mayr, R. & Dantam, M., 28 Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 272. p. 38:1-38:15 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2021

    Strategy Complexity of Mean Payoff, Total Payoff and Point Payoff Objectives in Countable MDPs

    Mayr, R. & Munday, E., 13 Aug 2021, 32nd International Conference on Concurrency Theory (CONCUR 2021). Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 12:1-12:15 15 p. (LIPIcs - Leibniz International Proceedings in Informatics; vol. 203).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Transience in Countable MDPs

    Kiefer, S., Mayr, R., Shirmohammadi, M. & Totzke, P., 13 Aug 2021, 32nd International Conference on Concurrency Theory (CONCUR 2021). Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 11:1-11:15 15 p. (LIPIcs - Leibniz International Proceedings in Informatics; vol. 203).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP

    Mayr, R., Schewe, S., Totzke, P. & Wojtczak, D., 23 Mar 2021, Foundations of Software Science and Computation Structures (FOSSACS 2021). Springer Berlin Heidelberg, p. 427 - 447 21 p. ( Lecture Notes in Computer Science; vol. 12650).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2020

    Strategy Complexity of Parity Objectives in Countable MDPs

    Kiefer, S., Mayr, R., Shirmohammadi, M. & Totzke, P., 26 Aug 2020, 31st International Conference on Concurrency Theory (CONCUR 2020). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 39:1--39:17 17 p. 39. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • How to Play in Infinite MDPs (Invited Talk)

    Kiefer, S., Mayr, R., Shirmohammadi, M., Totzke, P. & Wojtczak, D., 29 Jun 2020, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-18 18 p. 3. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 168).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2019

    Büchi Objectives in Countable MDPs

    Kiefer, S., Mayr, R., Shirmohammadi, M. & Totzke, P., 12 Jul 2019, (E-pub ahead of print) 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). Baier, C., Chatzigiannakis, I., Flocchini, P. & Leonardi, S. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 132. p. 119:1–119:14 27 p. 119. (LIPICS; vol. 132).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2018

    Universal Safety for Timed Petri Nets is PSPACE-complete

    Abdulla, P. A., Atig, M. F., Ciobanu, R., Mayr, R. & Totzke, P., 31 Aug 2018, 29th International Conference on Concurrency Theory (CONCUR 2018). Schewe, S. & Zhang, L. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 6:1--6:15 15 p. 6. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 118).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2017

    MDPs with Energy-Parity Objectives

    Mayr, R., Totzke, P., Schewe, S. & Wojtczak, D., 18 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Institute of Electrical and Electronics Engineers (IEEE), 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • On Strong Determinacy of Countable Stochastic Games

    Mayr, R., Kiefer, S., Shirmohammadi, M. & Wojtczak, D., 18 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Institute of Electrical and Electronics Engineers (IEEE), 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Parity Objectives in Countable MDPs

    Mayr, R., Kiefer, S., Shirmohammadi, M. & Wojtczak, D., 18 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Institute of Electrical and Electronics Engineers (IEEE), 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2016

    Model Checking Flat Freeze LTL on One-Counter Automata

    Mayr, R., Lechner, A., Ouaknine, J., Pouly, A. & Worrell, J., 26 Aug 2016, Proceedings of the 27th International Conference on Concurrency Theory (CONCUR 2016). Desharnais, J. & Jagadeesan, R. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 29:1-29:14 14 p. 29. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 59).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Reduction of Nondeterministic Tree Automata

    De Oliveira Almeida, R., Holik, L. & Mayr, R., Apr 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 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. Springer Berlin Heidelberg, p. 717-735 19 p. (Lecture Notes in Computer Science; vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Qualitative Analysis of VASS-Induced MDPs

    Abdulla, P. A., Ciobanu, R., Mayr, R., Sangnier, A. & Sproston, J., Mar 2016, 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. Springer Berlin Heidelberg, p. 319-334 16 p. (Lecture Notes in Computer Science; vol. 9634).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2014

    Infinite-State Energy Games

    Aziz Abdulla, P., Faouzi Atig, M., Hofman, P., Mayr, R., Narayan Kumar, K. & Totzke, P., 3 May 2014, CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM, 11 p. 7

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    File
  • 2013

    Advanced Automata Minimization

    Mayr, R. & Clemente, L., Jan 2013, POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, p. 63-74 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    File
  • Branching-Time Model Checking Gap-Order Constraint Systems

    Mayr, R. & Totzke, P., 2013, Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings. Springer Berlin Heidelberg, p. 171-182 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Decidability of Weak Simulation on One-Counter Nets

    Hofman, P., Mayr, R. & Totzke, P., 2013, Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on. Institute of Electrical and Electronics Engineers (IEEE), p. 203-212 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Returning Lost Elements in the Sales Process: Manum Dare

    Mayr, R., 2013, Novel Methods and Technologies for Enterprise Information Systems: ERP Future 2013 Conference, Vienna, Austria, November 2013, Revised Papers. Springer International Publishing, Vol. 8. p. 19-26 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Simulation Over One-counter Nets is PSPACE-Complete

    Hofman, P., Lasota, S., Mayr, R. & Totzke, P., 2013, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 515-526 12 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 24).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Solving Parity Games on Integer Vectors

    Abdulla, P. A., Mayr, R., Sangnier, A. & Sproston, J., 2013, CONCUR 2013 - Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Springer Berlin Heidelberg, Vol. 8052. p. 106-120 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Stochastic Parity Games on Lossy Channel Systems

    Abdulla, P. A., Clemente, L., Mayr, R. & Sandberg, S., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Vol. 8054. p. 338-354 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2012

    Petri Nets with Time and Cost

    Abdulla, P. A. & Mayr, R., 2012, Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012.. Cornell University Press, p. 9-24 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2011

    Computing Optimal Coverability Costs in Priced Timed Petri Nets

    Abdulla, P. A. & Mayr, R., 1 Jun 2011, 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011). Institute of Electrical and Electronics Engineers (IEEE), p. 399-408 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Advanced Ramsey-Based Büchi Automata Inclusion Testing

    Abdulla, P. A., Chen, Y-F., Clemente, L., Holík, L., Hong, C-D., Mayr, R. & Vojnar, T., 2011, CONCUR 2011 - Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings. Springer Berlin Heidelberg, Vol. 6901. p. 187-202 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2010

    Multipebble Simulations for Alternating Automata - (Extended Abstract)

    Clemente, L. & Mayr, R., 2010, CONCUR 2010 - CONCURRENCY THEORY. Gastin, P. & Laroussinie, F. (eds.). BERLIN: Springer-Verlag GmbH, p. 297-312 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing

    Abdulla, P. A., Chen, Y-F., Clemente, L., Holík, L., Hong, C-D., Mayr, R. & Vojnar, T., 2010, Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Springer Berlin Heidelberg, Vol. 6174. p. 132-147 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • When Simulation Meets Antichains

    Abdulla, P., Chen, Y-F., Holik, L., Mayr, R. & Vojnar, T., 2010, Tools and Algorithms for the Construction and Analysis of Systems. Esparza, J. & Majumdar, R. (eds.). Springer-Verlag GmbH, p. 158-174 17 p. (Lecture Notes in Computer Science; vol. 6015).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    File
  • 2009

    On the Computational Complexity of Verifying One-Counter Processes

    Goller, S., Mayr, R. & To, A. W., 1 Aug 2009, Proceedings of the 24th Annual IEEE Symposium on Logic In Computer Science (LICS '09). p. 235-244 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Minimal Cost Reachability/Coverability in Priced Timed Petri Nets

    Abdulla, P. A. & Mayr, R., 2009, Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Vol. 5504. p. 348-363 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2008

    Stochastic Games with Lossy Channels

    Abdulla, P. A., Henda, N. B., Alfaro, L. D., Mayr, R. & Sandberg, S., 2008, Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings. Springer Berlin Heidelberg, Vol. 4962. p. 35-49 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2006

    Eager Markov Chains

    Abdulla, P. A., Henda, N. B., Mayr, R. & Sandberg, S., 2006, Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006.. Springer Berlin Heidelberg, Vol. 4218. p. 24-38 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Limiting Behavior of Markov Chains with Eager Attractors

    Abdulla, P. A., Henda, N. B., Mayr, R. & Sandberg, S., 2006, Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA. Institute of Electrical and Electronics Engineers (IEEE), p. 253-264 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File